SCIP

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 319 articles , 4 standard articles )

Showing results 41 to 60 of 319.
Sorted by year (citations)

previous 1 2 3 4 5 ... 14 15 16 next

  1. Beck, Amir; Pan, Dror: A branch and bound algorithm for nonconvex quadratic optimization with ball and linear constraints (2017)
  2. Belotti, Pietro; Berthold, Timo: Three ideas for a feasibility pump for nonconvex MINLP (2017)
  3. Berg, Jeremias; Järvisalo, Matti: Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (2017)
  4. Berthold, Timo: Improving the performance of MIP and MINLP solvers by integrated heuristics (2017)
  5. Brinkmann, Philip; Ziegler, Günter M.: A flag vector of a 3-sphere that is not the flag vector of a 4-polytope (2017)
  6. Cacchiani, Valentina; D’Ambrosio, Claudia: A branch-and-bound based heuristic algorithm for convex multi-objective MINLPs (2017)
  7. Cafieri, Sonia; Omheni, Riadh: Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes (2017)
  8. Cheung, Kevin K. H.; Gleixner, Ambros; Steffy, Daniel E.: Verifying integer programming results (2017)
  9. Costa, Lilia; Nichols, Thomas; Smith, Jim Q.: Studying the effective brain connectivity using multiregression dynamic models (2017)
  10. Cussens, James; Järvisalo, Matti; Korhonen, Janne H.; Bartlett, Mark: Bayesian network structure learning with integer programming: polytopes, facets and complexity (2017)
  11. Dilkina, Bistra; Khalil, Elias B.; Nemhauser, George L.: Comments on: “On learning and branching: a survey” (2017)
  12. Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant: Graphical models for optimal power flow (2017)
  13. Firsching, Moritz: Realizability and inscribability for simplicial polytopes via nonlinear optimization (2017)
  14. Gamrath, Gerald; Koch, Thorsten; Maher, Stephen J.; Rehfeldt, Daniel; Shinano, Yuji: SCIP-Jack -- a solver for STP and variants with parallelization extensions (2017)
  15. Gerard, D.; Köppe, M.; Louveaux, Q.: Guided dive for the spatial branch-and-bound (2017)
  16. Ghasemi, Mohammad S.; Afzalian, Ali A.: Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances (2017)
  17. Gleixner, Ambros M.; Berthold, Timo; Müller, Benjamin; Weltge, Stefan: Three enhancements for optimization-based bound tightening (2017)
  18. Göttlich, Simone; Potschka, Andreas; Ziegler, Ute: Partial outer convexification for traffic light optimization in road networks (2017)
  19. Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc: MiningZinc: A declarative framework for constraint-based mining (2017)
  20. Hanafi, Saïd; Todosijević, Raca: Mathematical programming based heuristics for the 0--1 MIP: a survey (2017)

previous 1 2 3 4 5 ... 14 15 16 next


Further publications can be found at: http://scip.zib.de/#work