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

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

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

  1. Shinano, Yuji: The ubiquity generator framework: 7 years of progress in parallelizing branch-and-bound (2018)
  2. Shinano, Yuji; Berthold, Timo; Heinz, Stefan: ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers (2018)
  3. Thammawichai, Mason; Kerrigan, Eric C.: Energy-efficient real-time scheduling for two-type heterogeneous multiprocessors (2018)
  4. Torres, Jean; Silva, Emerson; Hoshino, Edna A.: Heuristic approaches to the distinguishing substring selection problem (2018)
  5. Vigerske, Stefan; Gleixner, Ambros: SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework (2018)
  6. Wang, Akang; Hanselman, Christopher L.; Gounaris, Chrysanthos E.: A customized branch-and-bound approach for irregular shape nesting (2018)
  7. Witzig, Jakob; Beckenbach, Isabel; Eifler, Leon; Fackeldey, Konstantin; Gleixner, Ambros; Grever, Andreas; Weber, Marcus: Mixed-integer programming for cycle detection in nonreversible Markov processes (2018)
  8. Zhou, Kai; Kılınç, Mustafa R.; Chen, Xi; Sahinidis, Nikolaos V.: An efficient strategy for the activation of MIP relaxations in a multicore global MINLP solver (2018)
  9. Andrea Callia D’Iddio, Michael Huth: Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving (2017) arXiv
  10. Assarf, Benjamin; Gawrilow, Ewgenij; Herr, Katrin; Joswig, Michael; Lorenz, Benjamin; Paffenholz, Andreas; Rehn, Thomas: Computing convex hulls and counting integer points with polymake (2017)
  11. Bartlett, Mark; Cussens, James: Integer linear programming for the Bayesian network structure learning problem (2017)
  12. Beck, Amir; Pan, Dror: A branch and bound algorithm for nonconvex quadratic optimization with ball and linear constraints (2017)
  13. Belotti, Pietro; Berthold, Timo: Three ideas for a feasibility pump for nonconvex MINLP (2017)
  14. Berg, Jeremias; Järvisalo, Matti: Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (2017)
  15. Berthold, Timo: Improving the performance of MIP and MINLP solvers by integrated heuristics (2017)
  16. Brinkmann, Philip; Ziegler, Günter M.: A flag vector of a 3-sphere that is not the flag vector of a 4-polytope (2017)
  17. Cacchiani, Valentina; D’Ambrosio, Claudia: A branch-and-bound based heuristic algorithm for convex multi-objective MINLPs (2017)
  18. Cafieri, Sonia; Omheni, Riadh: Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes (2017)
  19. Cheung, Kevin K. H.; Gleixner, Ambros; Steffy, Daniel E.: Verifying integer programming results (2017)
  20. Costa, Lilia; Nichols, Thomas; Smith, Jim Q.: Studying the effective brain connectivity using multiregression dynamic models (2017)

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


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