The SCIP Optimization Suite 7.0

Please always quote using this URN: urn:nbn:de:0297-zib-78023
  • The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming frame- work SCIP. This paper discusses enhancements and extensions contained in version 7.0 of the SCIP Optimization Suite. The new version features the parallel presolving library PaPILO as a new addition to the suite. PaPILO 1.0 simplifies mixed-integer linear op- timization problems and can be used stand-alone or integrated into SCIP via a presolver plugin. SCIP 7.0 provides additional support for decomposition algorithms. Besides im- provements in the Benders’ decomposition solver of SCIP, user-defined decomposition structures can be read, which are used by the automated Benders’ decomposition solver and two primal heuristics. Additionally, SCIP 7.0 comes with a tree size estimation that is used to predict the completion of the overall solving process and potentially trigger restarts. Moreover, substantial performance improvements of the MIP core were achieved by new developments in presolving, primal heuristics, branching rules, conflict analysis, and symmetry handling. Last, not least, the report presents updates to other components and extensions of the SCIP Optimization Suite, in particular, the LP solver SoPlex and the mixed-integer semidefinite programming solver SCIP-SDP.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Gerald Gamrath, Daniel Anderson, Ksenia BestuzhevaORCiD, Wei-Kun Chen, Leon Eifler, Maxime Gasse, Patrick Gemander, Ambros Gleixner, Leona Gottwald, Katrin Halbig, Gregor Hendel, Christopher Hojny, Thorsten Koch, Pierre Le Bodic, Stephen J. Maher, Frederic Matter, Matthias MiltenbergerORCiD, Erik Mühmer, Benjamin MüllerORCiD, Marc Pfetsch, Franziska Schlösser, Felipe SerranoORCiD, Yuji ShinanoORCiD, Christine TawfikORCiD, Stefan Vigerske, Fabian Wegscheider, Dieter Weninger, Jakob WitzigORCiD
Document Type:ZIB-Report
MSC-Classification:65-XX NUMERICAL ANALYSIS
90-XX OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING
Date of first Publication:2020/03/30
Series (Serial Number):ZIB-Report (20-10)
ISSN:1438-0064