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

Showing results 1 to 20 of 179.
Sorted by year (citations)

1 2 3 ... 7 8 9 next

  1. Braun, Gábor; Pokutta, Sebastian: A polyhedral characterization of border bases (2016)
  2. Bruns, Winfried; Sieg, Richard; Söger, Christof: The subdivision of large simplicial cones in normaliz (2016)
  3. Buchheim, Christoph; De Santis, Marianna; Lucidi, Stefano; Rinaldi, Francesco; Trieu, Long: A feasible active set method with reoptimization for convex quadratic mixed-integer programming (2016)
  4. Friberg, Henrik A.: CBLIB 2014: a benchmark library for conic mixed-integer and continuous optimization (2016)
  5. Hojny, Christopher; Pfetsch, Marc E.: A polyhedral investigation of star colorings (2016)
  6. Johnston, Matthew D.; Pantea, Casian; Donnell, Pete: A computational approach to persistence, permanence, and endotacticity of biochemical reaction systems (2016)
  7. Modaresi, Sina; Kılınç, Mustafa R.; Vielma, Juan Pablo: Intersection cuts for nonlinear integer programming: convexification techniques for structured sets (2016)
  8. Newby, Eric; Ali, M.Montaz: Transformation-based preprocessing for mixed-integer quadratic programs (2016)
  9. Oates, Chris.J.; Smith, Jim Q.; Mukherjee, Sach: Estimating causal structure using conditional DAG models (2016)
  10. Oates, Chris J.; Smith, Jim Q.; Mukherjee, Sach; Cussens, James: Exact estimation of multiple directed acyclic graphs (2016)
  11. Rose, Daniel; Schmidt, Martin; Steinbach, Marc C.; Willert, Bernhard M.: Computational optimization of gas compressor stations: MINLP models versus continuous reformulations (2016)
  12. Saikko, Paul; Berg, Jeremias; Järvisalo, Matti: LMHS: A SAT-IP hybrid maxsat solver (2016)
  13. Salvagnin, Domenico: Detecting semantic groups in MIP models (2016)
  14. Schnell, Alexander; Hartl, Richard F.: On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations (2016)
  15. Tran, Tony T.; Araujo, Arthur; Beck, J.Christopher: Decomposition methods for the parallel machine scheduling problem with setups (2016)
  16. Zhang, Yan; Sahinidis, Nikolaos V.: Global optimization of mathematical programs with complementarity constraints and application to clean energy deployment (2016)
  17. Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin: A constraint-based local search backend for MiniZinc (2015)
  18. Costa, Lilia; Smith, Jim; Nichols, Thomas; Cussens, James; Duff, Eugene P.; Makin, Tamar R.: Searching multiregression dynamic models of resting-state fMRI networks using integer programming (2015)
  19. Eckstein, Jonathan; Hart, William E.; Phillips, Cynthia A.: PEBBL: an object-oriented framework for scalable parallel branch and bound (2015)
  20. Firsching, Moritz: Computing maximal copies of polyhedra contained in a polyhedron (2015)

1 2 3 ... 7 8 9 next

Further publications can be found at: