6629
eng
reportzib
0
--
2017-12-21
--
The SCIP Optimization Suite 5.0
This article describes new features and enhanced algorithms made available in version 5.0 of the SCIP Optimization Suite. In its central component, the constraint integer programming solver SCIP, remarkable performance improvements have been achieved for solving mixed-integer linear and nonlinear programs. On MIPs, SCIP 5.0 is about 41 % faster than SCIP 4.0 and over twice as fast on instances that take at least 100 seconds to solve. For MINLP, SCIP 5.0 is about 17 % faster overall and 23 % faster on instances that take at least 100 seconds to solve. This boost is due to algorithmic advances in several parts of the solver such as cutting plane generation and management, a new adaptive coordination of large neighborhood search heuristics, symmetry handling, and strengthened McCormick relaxations for bilinear terms in MINLPs. Besides discussing the theoretical background and the implementational aspects of these developments, the report describes recent additions for the other software packages connected to SCIP, in particular for the LP solver SoPlex, the Steiner tree solver SCIP-Jack, the MISDP solver SCIP-SDP, and the parallelization framework UG.
1438-0064
urn:nbn:de:0297-zib-66297
Ambros Gleixner
Gregor Hendel
Leon Eifler
Tristan Gally
Gerald Gamrath
Patrick Gemander
Robert Lion Gottwald
Gregor Hendel
Christopher Hojny
Thorsten Koch
Matthias Miltenberger
Benjamin Müller
Marc E. Pfetsch
Christian Puchert
Daniel Rehfeldt
Franziska Schlösser
Felipe Serrano
Yuji Shinano
Jan Merlin Viernickel
Stefan Vigerske
Dieter Weninger
Jonas T. Witt
Jakob Witzig
ZIB-Report
17-61
eng
uncontrolled
constraint integer programming
eng
uncontrolled
linear programming
eng
uncontrolled
mixed-integer linear programming
eng
uncontrolled
mixed-integer nonlinear programming
eng
uncontrolled
optimization solver
eng
uncontrolled
branch-and-cut
eng
uncontrolled
branch-and-price
eng
uncontrolled
column generation framework
eng
uncontrolled
parallelization
eng
uncontrolled
mixed-integer semidefinite programming
eng
uncontrolled
Steiner tree optimization
NUMERICAL ANALYSIS
OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING
Mathematical Optimization
Mathematical Optimization Methods
Gamrath, Gerald
Gleixner, Ambros
Gottwald, Robert
Hendel, Gregor
Koch, Thorsten
Miltenberger, Matthias
Rehfeldt, Daniel
Serrano, Felipe
Shinano, Yuji
Vigerske, Stefan
Witzig, Jakob
Müller, Benjamin
ASTfSCM
MIP-ZIBOPT
MODAL-SynLab
Siemens
Eifler, Leon
MODAL-Gesamt
Schlösser, Franziska
Viernickel, Jan Merlin
https://opus4.kobv.de/opus4-zib/files/6629/scipopt-50.pdf
6936
eng
reportzib
0
--
2018-07-02
--
The SCIP Optimization Suite 6.0
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 6.0 of the SCIP Optimization Suite. Besides performance improvements of the MIP and MINLP core achieved by new primal heuristics and a new selection criterion for cutting planes, one focus of this release are decomposition algorithms. Both SCIP and the automatic decomposition solver GCG now include advanced functionality for performing Benders’ decomposition in a generic framework. GCG’s detection loop for structured matrices and the coordination of pricing routines for Dantzig-Wolfe decomposition has been significantly revised for greater flexibility. Two SCIP extensions have been added
to solve the recursive circle packing problem by a problem-specific column generation scheme and to demonstrate the use of the new Benders’ framework for stochastic capacitated facility location. Last, not least, the report presents updates and additions to the other components and extensions of the SCIP Optimization Suite: the LP solver SoPlex, the modeling language Zimpl, the parallelization framework UG, the Steiner tree solver SCIP-Jack, and the mixed-integer semidefinite programming solver SCIP-SDP.
1438-0064
urn:nbn:de:0297-zib-69361
Ambros Gleixner
Matthias Miltenberger
Michael Bastubbe
Leon Eifler
Tristan Gally
Gerald Gamrath
Robert Lion Gottwald
Gregor Hendel
Christopher Hojny
Thorsten Koch
Marco E. Lübbecke
Stephen J. Maher
Matthias Miltenberger
Benjamin Müller
Marc E. Pfetsch
Christian Puchert
Daniel Rehfeldt
Franziska Schlösser
Christoph Schubert
Felipe Serrano
Yuji Shinano
Jan Merlin Viernickel
Matthias Walter
Fabian Wegscheider
Jonas T. Witt
Jakob Witzig
ZIB-Report
18-26
eng
uncontrolled
constraint integer programming
eng
uncontrolled
linear programming
eng
uncontrolled
mixed-integer linear programming
eng
uncontrolled
mixed-integer nonlinear programming
eng
uncontrolled
optimization solver
eng
uncontrolled
branch-and-cut
eng
uncontrolled
branch-and-price
eng
uncontrolled
column generation framework
eng
uncontrolled
parallelization
eng
uncontrolled
mixed-integer semidefinite programming
eng
uncontrolled
Steiner tree optimization
NUMERICAL ANALYSIS
OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING
Mathematical Optimization
Mathematical Optimization Methods
Gamrath, Gerald
Gleixner, Ambros
Gottwald, Robert
Hendel, Gregor
Koch, Thorsten
Miltenberger, Matthias
Rehfeldt, Daniel
Serrano, Felipe
Shinano, Yuji
Vigerske, Stefan
Witzig, Jakob
Müller, Benjamin
ASTfSCM
MIP-ZIBOPT
MODAL-SynLab
Siemens
Eifler, Leon
MODAL-Gesamt
Schlösser, Franziska
Viernickel, Jan Merlin
Wegscheider, Fabian
Plan4res
https://opus4.kobv.de/opus4-zib/files/6936/scipopt-60.pdf