The SCIP Optimization Suite 7.0

Gamrath G, Anderson D, Bestuzheva K, Chen WK, Eifler L, Gasse M, Gemander P, Gleixner A, Gottwald L, Halbig K, Hendel G, Hojny C, Koch T, Le Bodic P, Maher SJ, Matter F, Miltenberger M, Mühmer E, Müller B, Pfetsch ME, Schlösser F, Serrano F, Shinano Y, Tawfik C, Vigerske S, Wegscheider F, Weninger D, Witzig J (2020)

Publication Language: English

Publication Type: Other publication type

Publication year: 2020

City/Town: Takustr. 7, 14195 Berlin

Journal Issue: 20-10

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.

Authors with CRIS profile

Patrick Gemander Economics - Discrete Optimization - Mathematics (EDOM) Katrin Halbig Economics - Discrete Optimization - Mathematics (EDOM) Dieter Weninger Economics - Discrete Optimization - Mathematics (EDOM)

Involved external institutions

Carnegie Mellon University US United States (USA) (US) Rheinisch-Westfälische Technische Hochschule (RWTH) Aachen DE Germany (DE) Konrad-Zuse-Zentrum für Informationstechnik / Zuse Institute Berlin (ZIB) DE Germany (DE) Technische Universität Darmstadt DE Germany (DE) Beijing Institute of Technology (BIT) / 北京理工大学 CN China (CN) GAMS Software GmbH DE Germany (DE) University of Exeter GB United Kingdom (GB) Eindhoven University of Technology / Technische Universiteit Eindhoven (TU/e) NL Netherlands (NL) Monash University AU Australia (AU) École Polytechnique de Montréal CA Canada (CA)

How to cite

APA:

Gamrath, G., Anderson, D., Bestuzheva, K., Chen, W.-K., Eifler, L., Gasse, M.,... Witzig, J. (2020). The SCIP Optimization Suite 7.0. Takustr. 7, 14195 Berlin.

MLA:

Gamrath, Gerald, et al. The SCIP Optimization Suite 7.0. Takustr. 7, 14195 Berlin, 2020.

BibTeX: Download