SCIP is currently one of the fastest non-commercial solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). It is also a framework for constraint integer programming and branch-cut-and-price. It allows for total control of the solution process and the access of detailed information down to the guts of the solver. SCIP is part of the SCIP Optimization Suite, which also contains the LP solver SoPlex, the modelling language ZIMPL, the parallelization framework UG and the generic column generation solver GCG.

This software is also peer reviewed by journal MPC.

References in zbMATH (referenced in 299 articles , 4 standard articles )

Showing results 21 to 40 of 299.
Sorted by year (citations)

previous 1 2 3 4 ... 13 14 15 next

  1. Andrea Callia D’Iddio, Michael Huth: Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving (2017) arXiv
  2. Assarf, Benjamin; Gawrilow, Ewgenij; Herr, Katrin; Joswig, Michael; Lorenz, Benjamin; Paffenholz, Andreas; Rehn, Thomas: Computing convex hulls and counting integer points with polymake (2017)
  3. Bartlett, Mark; Cussens, James: Integer linear programming for the Bayesian network structure learning problem (2017)
  4. Beck, Amir; Pan, Dror: A branch and bound algorithm for nonconvex quadratic optimization with ball and linear constraints (2017)
  5. Belotti, Pietro; Berthold, Timo: Three ideas for a feasibility pump for nonconvex MINLP (2017)
  6. Berg, Jeremias; Järvisalo, Matti: Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (2017)
  7. Berthold, Timo: Improving the performance of MIP and MINLP solvers by integrated heuristics (2017)
  8. Brinkmann, Philip; Ziegler, Günter M.: A flag vector of a 3-sphere that is not the flag vector of a 4-polytope (2017)
  9. Cacchiani, Valentina; D’Ambrosio, Claudia: A branch-and-bound based heuristic algorithm for convex multi-objective MINLPs (2017)
  10. Cafieri, Sonia; Omheni, Riadh: Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes (2017)
  11. Cheung, Kevin K. H.; Gleixner, Ambros; Steffy, Daniel E.: Verifying integer programming results (2017)
  12. Costa, Lilia; Nichols, Thomas; Smith, Jim Q.: Studying the effective brain connectivity using multiregression dynamic models (2017)
  13. Cussens, James; Järvisalo, Matti; Korhonen, Janne H.; Bartlett, Mark: Bayesian network structure learning with integer programming: polytopes, facets and complexity (2017)
  14. Dilkina, Bistra; Khalil, Elias B.; Nemhauser, George L.: Comments on: “On learning and branching: a survey” (2017)
  15. Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant: Graphical models for optimal power flow (2017)
  16. Firsching, Moritz: Realizability and inscribability for simplicial polytopes via nonlinear optimization (2017)
  17. Gamrath, Gerald; Koch, Thorsten; Maher, Stephen J.; Rehfeldt, Daniel; Shinano, Yuji: SCIP-Jack -- a solver for STP and variants with parallelization extensions (2017)
  18. Gerard, D.; Köppe, M.; Louveaux, Q.: Guided dive for the spatial branch-and-bound (2017)
  19. Ghasemi, Mohammad S.; Afzalian, Ali A.: Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances (2017)
  20. Gleixner, Ambros M.; Berthold, Timo; Müller, Benjamin; Weltge, Stefan: Three enhancements for optimization-based bound tightening (2017)

previous 1 2 3 4 ... 13 14 15 next

Further publications can be found at: