The SCIP Optimization Suite 7.0

Gerald Gamrath, Daniel Anderson, Ksenia Bestuzheva, 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 Miltenberger, Erik Mühmer, Benjamin Müller, Marc E. PfetschFranziska Schlösser, Felipe Serrano, Yuji Shinano, Christine Tawfik, Stefan Vigerske, Fabian Wegscheider, Dieter Weninger, Jakob Witzig

Research output: Book/ReportReportAcademic

Abstract

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework 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 optimization 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 improvements 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.
Original languageEnglish
Place of PublicationBerlin
PublisherZuse Institut Berlin
Number of pages46
Publication statusPublished - 2020

Publication series

NameZIB-Report
Volume20-10

    Fingerprint

Keywords

  • Constraint integer programming
  • linear programming
  • mixed-integer linear programming
  • mixed-integer nonlinear programming
  • optimization solver
  • branch-and-cut
  • branch-and-price
  • column generation
  • Benders' decomposition
  • parallelization
  • mixed-integer semidefinite programming

Cite this

Gamrath, G., Anderson, D., Bestuzheva, K., Chen, W-K., Eifler, L., Gasse, M., ... Witzig, J. (2020). The SCIP Optimization Suite 7.0. (ZIB-Report; Vol. 20-10). Berlin: Zuse Institut Berlin.