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

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

previous 1 2 3 4 5 ... 11 12 13 next

  1. Jakob Witzig, Timo Berthold, Stefan Heinz: Experiments with Conflict Analysis in Mixed Integer Programming (2016) arXiv
  2. Johnston, Matthew D.: A linear programming approach to dynamical equivalence, linear conjugacy, and the deficiency one theorem (2016)
  3. Johnston, Matthew D.; Pantea, Casian; Donnell, Pete: A computational approach to persistence, permanence, and endotacticity of biochemical reaction systems (2016)
  4. Keiji Kimura, Hayato Waki: Minimization of Akaike’s Information Criterion in Linear Regression Analysis via Mixed Integer Nonlinear Program (2016) arXiv
  5. Kevin K. H. Cheung, Ambros Gleixner, Daniel E. Steffy: Verifying Integer Programming Results (2016) arXiv
  6. Kimura, Keiji; Waki, Hayato: Mixed integer nonlinear program for minimization of Akaike’s information criterion (2016)
  7. Ku, Wen-Yang; Beck, J.Christopher: Mixed integer programming models for job shop scheduling: A computational analysis (2016)
  8. López, C.O.; Beasley, J.E.: A formulation space search heuristic for packing unequal circles in a fixed size circular container (2016)
  9. Maher, Stephen; Miltenberger, Matthias; Pedroso, João Pedro; Rehfeldt, Daniel; Schwarz, Robert; Serrano, Felipe: PySCIPOpt: mathematical programming in python with the SCIP optimization suite (2016)
  10. Miles Lubin, Emre Yamangil, Russell Bent, Juan Pablo Vielma: Polyhedral approximation in mixed-integer convex optimization (2016) arXiv
  11. Modaresi, Sina; Kılınç, Mustafa R.; Vielma, Juan Pablo: Intersection cuts for nonlinear integer programming: convexification techniques for structured sets (2016)
  12. Newby, Eric; Ali, M.Montaz: Transformation-based preprocessing for mixed-integer quadratic programs (2016)
  13. Oates, Chris.J.; Smith, Jim Q.; Mukherjee, Sach: Estimating causal structure using conditional DAG models (2016)
  14. Oates, Chris J.; Smith, Jim Q.; Mukherjee, Sach; Cussens, James: Exact estimation of multiple directed acyclic graphs (2016)
  15. Oren, Yossef; Wool, Avishai: Side-channel cryptographic attacks using pseudo-Boolean optimization (2016)
  16. Rose, Daniel; Schmidt, Martin; Steinbach, Marc C.; Willert, Bernhard M.: Computational optimization of gas compressor stations: MINLP models versus continuous reformulations (2016)
  17. Saikko, Paul; Berg, Jeremias; Järvisalo, Matti: LMHS: A SAT-IP hybrid maxsat solver (2016)
  18. Salvagnin, Domenico: Detecting semantic groups in MIP models (2016)
  19. 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)
  20. Shinano, Yuji; Berthold, Timo; Heinz, Stefan: A first implementation of paraxpress: combining internal and external parallelization to solve MIPs on supercomputers (2016)

previous 1 2 3 4 5 ... 11 12 13 next


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