Gleixner, Ambros M. ; Bastubbe, Michael ; Eifler, Leon ; Gally, Tristan ; Gamrath, Gerald ; Gottwald, Robert L. ; Hendel, Gregor ; Hojny, Christoper ; Koch, Thorsten ; Lübbecke, Marco E. ; Maher, Stephen J. ; Miltenberger, Matthias ; Müller, Benjamin ; Pfetsch, Marc E. ; Puchert, Christian ; Rehfeldt, Daniel ; Schlösser, Franziska ; Schubert, Christoph ; Serrano, Felipe ; Shinano, Yuji ; Viernickel, Jan Merlin ; Walter, Matthias ; Wegscheider, Fabian ; Witt, Jonas T. ; Witzig, Jakob (2018)
The SCIP Optimization Suite 6.0.
In: ZIB-Report, 18-26
Article, Bibliographie
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 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.
| Item Type: | Article |
|---|---|
| Erschienen: | 2018 |
| Creators: | Gleixner, Ambros M. ; Bastubbe, Michael ; Eifler, Leon ; Gally, Tristan ; Gamrath, Gerald ; Gottwald, Robert L. ; Hendel, Gregor ; Hojny, Christoper ; Koch, Thorsten ; Lübbecke, Marco E. ; Maher, Stephen J. ; Miltenberger, Matthias ; Müller, Benjamin ; Pfetsch, Marc E. ; Puchert, Christian ; Rehfeldt, Daniel ; Schlösser, Franziska ; Schubert, Christoph ; Serrano, Felipe ; Shinano, Yuji ; Viernickel, Jan Merlin ; Walter, Matthias ; Wegscheider, Fabian ; Witt, Jonas T. ; Witzig, Jakob |
| Type of entry: | Bibliographie |
| Title: | The SCIP Optimization Suite 6.0 |
| Language: | English |
| Date: | 2 July 2018 |
| Place of Publication: | Berlin |
| Publisher: | Zuse Institute Berlin |
| Journal or Publication Title: | ZIB-Report |
| Volume of the journal: | 18-26 |
| URL / URN: | urn:nbn:de:0297-zib-69361 |
| Corresponding Links: | |
| 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 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. |
| Divisions: | DFG-Collaborative Research Centres (incl. Transregio) DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres 04 Department of Mathematics 04 Department of Mathematics > Optimization 04 Department of Mathematics > Optimization > Discrete Optimization DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 805: Control of Uncertainty in Load-Carrying Structures in Mechanical Engineering |
| Date Deposited: | 18 Jul 2018 10:17 |
| Last Modified: | 11 Aug 2023 09:10 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum