<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>7802</id>
    <completedYear/>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>reportzib</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>2020-03-30</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">The SCIP Optimization Suite 7.0</title>
    <abstract language="eng">The SCIP Optimization Suite provides a collection of software packages for&#13;
mathematical optimization centered around the constraint integer programming frame-&#13;
work SCIP. This paper discusses enhancements and extensions contained in version 7.0&#13;
of the SCIP Optimization Suite. The new version features the parallel presolving library&#13;
PaPILO as a new addition to the suite. PaPILO 1.0 simplifies mixed-integer linear op-&#13;
timization problems and can be used stand-alone or integrated into SCIP via a presolver&#13;
plugin. SCIP 7.0 provides additional support for decomposition algorithms. Besides im-&#13;
provements in the Benders’ decomposition solver of SCIP, user-defined decomposition&#13;
structures can be read, which are used by the automated Benders’ decomposition solver&#13;
and two primal heuristics. Additionally, SCIP 7.0 comes with a tree size estimation&#13;
that is used to predict the completion of the overall solving process and potentially&#13;
trigger restarts. Moreover, substantial performance improvements of the MIP core were&#13;
achieved by new developments in presolving, primal heuristics, branching rules, conflict&#13;
analysis, and symmetry handling. Last, not least, the report presents updates to other&#13;
components and extensions of the SCIP Optimization Suite, in particular, the LP solver&#13;
SoPlex and the mixed-integer semidefinite programming solver SCIP-SDP.</abstract>
    <identifier type="issn">1438-0064</identifier>
    <identifier type="urn">urn:nbn:de:0297-zib-78023</identifier>
    <author>Gerald Gamrath</author>
    <submitter>Felipe Serrano</submitter>
    <author>Daniel Anderson</author>
    <author>Ksenia Bestuzheva</author>
    <author>Wei-Kun Chen</author>
    <author>Leon Eifler</author>
    <author>Maxime Gasse</author>
    <author>Patrick Gemander</author>
    <author>Ambros Gleixner</author>
    <author>Leona Gottwald</author>
    <author>Katrin Halbig</author>
    <author>Gregor Hendel</author>
    <author>Christopher Hojny</author>
    <author>Thorsten Koch</author>
    <author>Pierre Le Bodic</author>
    <author>Stephen J. Maher</author>
    <author>Frederic Matter</author>
    <author>Matthias Miltenberger</author>
    <author>Erik Mühmer</author>
    <author>Benjamin Müller</author>
    <author>Marc Pfetsch</author>
    <author>Franziska Schlösser</author>
    <author>Felipe Serrano</author>
    <author>Yuji Shinano</author>
    <author>Christine Tawfik</author>
    <author>Stefan Vigerske</author>
    <author>Fabian Wegscheider</author>
    <author>Dieter Weninger</author>
    <author>Jakob Witzig</author>
    <series>
      <title>ZIB-Report</title>
      <number>20-10</number>
    </series>
    <collection role="msc" number="65-XX">NUMERICAL ANALYSIS</collection>
    <collection role="msc" number="90-XX">OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING</collection>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="gamrath">Gamrath, Gerald</collection>
    <collection role="persons" number="robert.gottwald">Gottwald, Robert</collection>
    <collection role="persons" number="hendel">Hendel, Gregor</collection>
    <collection role="persons" number="koch">Koch, Thorsten</collection>
    <collection role="persons" number="miltenberger">Miltenberger, Matthias</collection>
    <collection role="persons" number="shinano">Shinano, Yuji</collection>
    <collection role="persons" number="vigerske">Vigerske, Stefan</collection>
    <collection role="projects" number="ASTfSCM">ASTfSCM</collection>
    <collection role="projects" number="MIP-ZIBOPT">MIP-ZIBOPT</collection>
    <collection role="projects" number="MODAL-SynLab">MODAL-SynLab</collection>
    <collection role="projects" number="Siemens">Siemens</collection>
    <collection role="projects" number="MODAL-Gesamt">MODAL-Gesamt</collection>
    <collection role="persons" number="schloesser">Schlösser, Franziska</collection>
    <collection role="persons" number="bestuzheva">Bestuzheva, Ksenia</collection>
    <collection role="projects" number="plan4res">Plan4res</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
    <file>https://opus4.kobv.de/opus4-zib/files/7802/scipopt-70.pdf</file>
  </doc>
  <doc>
    <id>6629</id>
    <completedYear/>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>reportzib</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>2017-12-21</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">The SCIP Optimization Suite 5.0</title>
    <abstract language="eng">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.</abstract>
    <identifier type="issn">1438-0064</identifier>
    <identifier type="urn">urn:nbn:de:0297-zib-66297</identifier>
    <author>Ambros Gleixner</author>
    <submitter>Gregor Hendel</submitter>
    <author>Leon Eifler</author>
    <author>Tristan Gally</author>
    <author>Gerald Gamrath</author>
    <author>Patrick Gemander</author>
    <author>Robert Lion Gottwald</author>
    <author>Gregor Hendel</author>
    <author>Christopher Hojny</author>
    <author>Thorsten Koch</author>
    <author>Matthias Miltenberger</author>
    <author>Benjamin Müller</author>
    <author>Marc Pfetsch</author>
    <author>Christian Puchert</author>
    <author>Daniel Rehfeldt</author>
    <author>Franziska Schlösser</author>
    <author>Felipe Serrano</author>
    <author>Yuji Shinano</author>
    <author>Jan Merlin Viernickel</author>
    <author>Stefan Vigerske</author>
    <author>Dieter Weninger</author>
    <author>Jonas T. Witt</author>
    <author>Jakob Witzig</author>
    <series>
      <title>ZIB-Report</title>
      <number>17-61</number>
    </series>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>constraint integer programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>linear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer linear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer nonlinear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>optimization solver</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>branch-and-cut</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>branch-and-price</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>column generation framework</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>parallelization</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer semidefinite programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Steiner tree optimization</value>
    </subject>
    <collection role="msc" number="65-XX">NUMERICAL ANALYSIS</collection>
    <collection role="msc" number="90-XX">OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING</collection>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="gamrath">Gamrath, Gerald</collection>
    <collection role="persons" number="robert.gottwald">Gottwald, Robert</collection>
    <collection role="persons" number="hendel">Hendel, Gregor</collection>
    <collection role="persons" number="koch">Koch, Thorsten</collection>
    <collection role="persons" number="miltenberger">Miltenberger, Matthias</collection>
    <collection role="persons" number="rehfeldt">Rehfeldt, Daniel</collection>
    <collection role="persons" number="shinano">Shinano, Yuji</collection>
    <collection role="persons" number="vigerske">Vigerske, Stefan</collection>
    <collection role="projects" number="ASTfSCM">ASTfSCM</collection>
    <collection role="projects" number="MIP-ZIBOPT">MIP-ZIBOPT</collection>
    <collection role="projects" number="MODAL-SynLab">MODAL-SynLab</collection>
    <collection role="projects" number="Siemens">Siemens</collection>
    <collection role="projects" number="MODAL-Gesamt">MODAL-Gesamt</collection>
    <collection role="persons" number="schloesser">Schlösser, Franziska</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
    <file>https://opus4.kobv.de/opus4-zib/files/6629/scipopt-50.pdf</file>
  </doc>
  <doc>
    <id>7804</id>
    <completedYear/>
    <publishedYear>2021</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>443</pageFirst>
    <pageLast>490</pageLast>
    <pageNumber/>
    <edition/>
    <issue>3</issue>
    <volume>13</volume>
    <type>article</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library</title>
    <abstract language="eng">We report on the selection process leading to the sixth version of the Mixed Integer Programming Library. Selected from an initial pool of over 5,000 instances, the new MIPLIB 2017 collection consists of 1,065 instances. A subset of 240 instances was specially selected for benchmarking solver performance. For the first time, the compilation of these sets was done using a data-driven selection process supported by the solution of a sequence of mixed integer optimization problems, which encoded requirements on diversity and balancedness with respect to instance features and performance data.</abstract>
    <parentTitle language="eng">Mathematical Programming Computation</parentTitle>
    <identifier type="doi">10.1007/s12532-020-00194-3</identifier>
    <enrichment key="PeerReviewed">yes</enrichment>
    <enrichment key="AcceptedDate">2020-09-10</enrichment>
    <author>Ambros Gleixner</author>
    <submitter>Ambros Gleixner</submitter>
    <author>Gregor Hendel</author>
    <author>Gerald Gamrath</author>
    <author>Tobias Achterberg</author>
    <author>Michael Bastubbe</author>
    <author>Timo Berthold</author>
    <author>Philipp M. Christophel</author>
    <author>Kati Jarck</author>
    <author>Thorsten Koch</author>
    <author>Jeff Linderoth</author>
    <author>Marco Lübbecke</author>
    <author>Hans Mittelmann</author>
    <author>Derya Ozyurt</author>
    <author>Ted Ralphs</author>
    <author>Domenico Salvagnin</author>
    <author>Yuji Shinano</author>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="achterberg">Achterberg, Tobias</collection>
    <collection role="persons" number="berthold">Berthold, Timo</collection>
    <collection role="persons" number="gamrath">Gamrath, Gerald</collection>
    <collection role="persons" number="hendel">Hendel, Gregor</collection>
    <collection role="persons" number="koch">Koch, Thorsten</collection>
    <collection role="persons" number="shinano">Shinano, Yuji</collection>
    <collection role="projects" number="ASTfSCM">ASTfSCM</collection>
    <collection role="projects" number="MIP-ZIBOPT">MIP-ZIBOPT</collection>
    <collection role="projects" number="MODAL-SynLab">MODAL-SynLab</collection>
    <collection role="projects" number="Siemens">Siemens</collection>
    <collection role="projects" number="MODAL-Gesamt">MODAL-Gesamt</collection>
    <collection role="institutes" number="ais2t">AI in Society, Science, and Technology</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
  </doc>
  <doc>
    <id>6836</id>
    <completedYear/>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>reportzib</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>2018-04-10</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Feature-Based Algorithm Selection for Mixed Integer Programming</title>
    <abstract language="eng">Mixed integer programming is a versatile and valuable optimization tool. However, solving specific problem instances can be computationally demanding even for cutting-edge solvers. Such long running times are often significantly reduced by an appropriate change of the solver's parameters. In this paper we investigate "algorithm selection", the task of choosing among a set of algorithms the ones that are likely to perform best for a particular instance. &#13;
&#13;
In our case, we treat different parameter settings of the MIP solver SCIP as different algorithms to choose from. Two peculiarities of the MIP solving process have our special attention. We address the well-known problem of performance variability by using multiple random seeds. Besides solving time, primal dual integrals are recorded as a second performance measure in order to distinguish solvers that timed out.&#13;
&#13;
We collected feature and performance data for a large set of publicly available MIP instances. The algorithm selection problem is addressed by several popular, feature-based methods, which have been partly extended for our purpose. Finally, an analysis of the feature space and performance results of the selected algorithms are presented.</abstract>
    <identifier type="issn">1438-0064</identifier>
    <identifier type="urn">urn:nbn:de:0297-zib-68362</identifier>
    <author>Alexander Georges</author>
    <submitter>Gregor Hendel</submitter>
    <author>Ambros Gleixner</author>
    <author>Gorana Gojic</author>
    <author>Robert Lion Gottwald</author>
    <author>David Haley</author>
    <author>Gregor Hendel</author>
    <author>Bartlomiej Matejczyk</author>
    <series>
      <title>ZIB-Report</title>
      <number>18-17</number>
    </series>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>algorithm selection</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed integer programming</value>
    </subject>
    <collection role="msc" number="90-XX">OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING</collection>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="robert.gottwald">Gottwald, Robert</collection>
    <collection role="persons" number="hendel">Hendel, Gregor</collection>
    <collection role="projects" number="ASTfSCM">ASTfSCM</collection>
    <collection role="projects" number="MODAL-SynLab">MODAL-SynLab</collection>
    <collection role="projects" number="Siemens">Siemens</collection>
    <collection role="projects" number="BEAM-ME">BEAM-ME</collection>
    <collection role="projects" number="MODAL-Gesamt">MODAL-Gesamt</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
    <file>https://opus4.kobv.de/opus4-zib/files/6836/main.pdf</file>
  </doc>
  <doc>
    <id>6936</id>
    <completedYear/>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>reportzib</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>2018-07-02</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">The SCIP Optimization Suite 6.0</title>
    <abstract language="eng">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&#13;
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.</abstract>
    <identifier type="issn">1438-0064</identifier>
    <identifier type="urn">urn:nbn:de:0297-zib-69361</identifier>
    <submitter>Matthias Miltenberger</submitter>
    <author>Ambros Gleixner</author>
    <author>Michael Bastubbe</author>
    <author>Leon Eifler</author>
    <author>Tristan Gally</author>
    <author>Gerald Gamrath</author>
    <author>Robert Lion Gottwald</author>
    <author>Gregor Hendel</author>
    <author>Christopher Hojny</author>
    <author>Thorsten Koch</author>
    <author>Marco Lübbecke</author>
    <author>Stephen J. Maher</author>
    <author>Matthias Miltenberger</author>
    <author>Benjamin Müller</author>
    <author>Marc Pfetsch</author>
    <author>Christian Puchert</author>
    <author>Daniel Rehfeldt</author>
    <author>Franziska Schlösser</author>
    <author>Christoph Schubert</author>
    <author>Felipe Serrano</author>
    <author>Yuji Shinano</author>
    <author>Jan Merlin Viernickel</author>
    <author>Matthias Walter</author>
    <author>Fabian Wegscheider</author>
    <author>Jonas T. Witt</author>
    <author>Jakob Witzig</author>
    <series>
      <title>ZIB-Report</title>
      <number>18-26</number>
    </series>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>constraint integer programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>linear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer linear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer nonlinear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>optimization solver</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>branch-and-cut</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>branch-and-price</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>column generation framework</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>parallelization</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer semidefinite programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Steiner tree optimization</value>
    </subject>
    <collection role="msc" number="65-XX">NUMERICAL ANALYSIS</collection>
    <collection role="msc" number="90-XX">OPERATIONS RESEARCH, MATHEMATICAL PROGRAMMING</collection>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="gamrath">Gamrath, Gerald</collection>
    <collection role="persons" number="robert.gottwald">Gottwald, Robert</collection>
    <collection role="persons" number="hendel">Hendel, Gregor</collection>
    <collection role="persons" number="koch">Koch, Thorsten</collection>
    <collection role="persons" number="miltenberger">Miltenberger, Matthias</collection>
    <collection role="persons" number="rehfeldt">Rehfeldt, Daniel</collection>
    <collection role="persons" number="shinano">Shinano, Yuji</collection>
    <collection role="persons" number="vigerske">Vigerske, Stefan</collection>
    <collection role="projects" number="ASTfSCM">ASTfSCM</collection>
    <collection role="projects" number="MIP-ZIBOPT">MIP-ZIBOPT</collection>
    <collection role="projects" number="MODAL-SynLab">MODAL-SynLab</collection>
    <collection role="projects" number="Siemens">Siemens</collection>
    <collection role="projects" number="MODAL-Gesamt">MODAL-Gesamt</collection>
    <collection role="persons" number="schloesser">Schlösser, Franziska</collection>
    <collection role="projects" number="plan4res">Plan4res</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
    <file>https://opus4.kobv.de/opus4-zib/files/6936/scipopt-60.pdf</file>
  </doc>
  <doc>
    <id>6217</id>
    <completedYear/>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>reportzib</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>2017-08-03</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">The SCIP Optimization Suite 4.0</title>
    <abstract language="eng">The SCIP Optimization Suite is a powerful collection of optimization software that consists of the branch-cut-and-price framework and mixed-integer programming solver SCIP, the linear programming solver SoPlex, the modeling language Zimpl, the parallelization framework UG, and the generic branch-cut-and-price solver GCG. Additionally, it features the extensions SCIP-Jack for solving Steiner tree problems, PolySCIP for solving multi-objective problems, and SCIP-SDP for solving mixed-integer semidefinite programs. The SCIP Optimization Suite has been continuously developed and has now reached version 4.0. The goal of this report is to present the recent changes to the collection. We not only describe the theoretical basis, but focus on implementation aspects and their computational consequences.</abstract>
    <identifier type="issn">1438-0064</identifier>
    <identifier type="urn">urn:nbn:de:0297-zib-62170</identifier>
    <author>Stephen J. Maher</author>
    <submitter>Ambros Gleixner</submitter>
    <author>Tobias Fischer</author>
    <author>Tristan Gally</author>
    <author>Gerald Gamrath</author>
    <author>Ambros Gleixner</author>
    <author>Robert Lion Gottwald</author>
    <author>Gregor Hendel</author>
    <author>Thorsten Koch</author>
    <author>Marco Lübbecke</author>
    <author>Matthias Miltenberger</author>
    <author>Benjamin Müller</author>
    <author>Marc Pfetsch</author>
    <author>Christian Puchert</author>
    <author>Daniel Rehfeldt</author>
    <author>Sebastian Schenker</author>
    <author>Robert Schwarz</author>
    <author>Felipe Serrano</author>
    <author>Yuji Shinano</author>
    <author>Dieter Weninger</author>
    <author>Jonas T. Witt</author>
    <author>Jakob Witzig</author>
    <series>
      <title>ZIB-Report</title>
      <number>17-12</number>
    </series>
    <collection role="msc" number="65Yxx">Computer aspects of numerical algorithms</collection>
    <collection role="msc" number="90C05">Linear programming</collection>
    <collection role="msc" number="90C11">Mixed integer programming</collection>
    <collection role="msc" number="90C26">Nonconvex programming, global optimization</collection>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="gamrath">Gamrath, Gerald</collection>
    <collection role="persons" number="robert.gottwald">Gottwald, Robert</collection>
    <collection role="persons" number="hendel">Hendel, Gregor</collection>
    <collection role="persons" number="koch">Koch, Thorsten</collection>
    <collection role="persons" number="miltenberger">Miltenberger, Matthias</collection>
    <collection role="persons" number="rehfeldt">Rehfeldt, Daniel</collection>
    <collection role="persons" number="shinano">Shinano, Yuji</collection>
    <collection role="projects" number="ASTfSCM">ASTfSCM</collection>
    <collection role="projects" number="MIP-ZIBOPT">MIP-ZIBOPT</collection>
    <collection role="projects" number="MODAL-SynLab">MODAL-SynLab</collection>
    <collection role="projects" number="Siemens">Siemens</collection>
    <collection role="projects" number="MODAL-Gesamt">MODAL-Gesamt</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
    <file>https://opus4.kobv.de/opus4-zib/files/6217/scipoptsuite-40.pdf</file>
    <file>https://opus4.kobv.de/opus4-zib/files/6217/scipoptsuite-401.pdf</file>
  </doc>
  <doc>
    <id>5767</id>
    <completedYear/>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>reportzib</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>2016-02-26</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">The SCIP Optimization Suite 3.2</title>
    <abstract language="eng">The SCIP Optimization Suite is a software toolbox for generating and solving various classes of mathematical optimization problems. Its major components are the modeling language ZIMPL, the linear programming solver SoPlex, the constraint integer programming framework and mixed-integer linear and nonlinear programming solver SCIP, the UG framework for parallelization of branch-and-bound-based solvers, and the generic branch-cut-and-price solver GCG. It has been used in many applications from both academia and industry and is one of the leading non-commercial solvers.&#13;
This paper highlights the new features of version 3.2 of the SCIP Optimization Suite. Version 3.2 was released in July 2015. This release comes with new presolving steps, primal heuristics, and branching rules within SCIP. In addition, version 3.2 includes a reoptimization feature and improved handling of quadratic constraints and special ordered sets. SoPlex can now solve LPs exactly over the rational number and performance improvements have been achieved by exploiting sparsity in more situations. UG has been tested successfully on 80,000 cores. A major new feature of UG is the functionality to parallelize a customized SCIP solver. GCG has been enhanced with a new separator, new primal heuristics, and improved column management. Finally, new and improved extensions of SCIP are presented, namely solvers for multi-criteria optimization, Steiner tree problems, and mixed-integer semidefinite programs.</abstract>
    <identifier type="issn">1438-0064</identifier>
    <identifier type="urn">urn:nbn:de:0297-zib-57675</identifier>
    <enrichment key="PeerReviewed">no</enrichment>
    <author>Gerald Gamrath</author>
    <submitter>Gerald Gamrath</submitter>
    <author>Tobias Fischer</author>
    <author>Tristan Gally</author>
    <author>Ambros Gleixner</author>
    <author>Gregor Hendel</author>
    <author>Thorsten Koch</author>
    <author>Stephen J. Maher</author>
    <author>Matthias Miltenberger</author>
    <author>Benjamin Müller</author>
    <author>Marc Pfetsch</author>
    <author>Christian Puchert</author>
    <author>Daniel Rehfeldt</author>
    <author>Sebastian Schenker</author>
    <author>Robert Schwarz</author>
    <author>Felipe Serrano</author>
    <author>Yuji Shinano</author>
    <author>Stefan Vigerske</author>
    <author>Dieter Weninger</author>
    <author>Michael Winkler</author>
    <author>Jonas T. Witt</author>
    <author>Jakob Witzig</author>
    <series>
      <title>ZIB-Report</title>
      <number>15-60</number>
    </series>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer linear and nonlinear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>MIP solver</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>MINLP solver</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>linear programming</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>LP solver</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>simplex method</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>modeling</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>parallel branch-and-bound</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>branch-cut-and-price framework</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>generic column generation</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Steiner tree solver</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>multi-criteria optimization</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>mixed-integer semidefinite programming</value>
    </subject>
    <collection role="msc" number="65Y05">Parallel computation</collection>
    <collection role="msc" number="90C05">Linear programming</collection>
    <collection role="msc" number="90C10">Integer programming</collection>
    <collection role="msc" number="90C11">Mixed integer programming</collection>
    <collection role="msc" number="90C30">Nonlinear programming</collection>
    <collection role="msc" number="90C90">Applications of mathematical programming</collection>
    <collection role="institutes" number="optimization">Mathematical Optimization</collection>
    <collection role="institutes" number="mip">Mathematical Optimization Methods</collection>
    <collection role="persons" number="gamrath">Gamrath, Gerald</collection>
    <collection role="persons" number="hendel">Hendel, Gregor</collection>
    <collection role="persons" number="koch">Koch, Thorsten</collection>
    <collection role="persons" number="miltenberger">Miltenberger, Matthias</collection>
    <collection role="persons" number="rehfeldt">Rehfeldt, Daniel</collection>
    <collection role="persons" number="shinano">Shinano, Yuji</collection>
    <collection role="persons" number="vigerske">Vigerske, Stefan</collection>
    <collection role="persons" number="michael.winkler">Winkler, Michael</collection>
    <collection role="projects" number="ASTfSCM">ASTfSCM</collection>
    <collection role="projects" number="MIP-ZIBOPT">MIP-ZIBOPT</collection>
    <collection role="projects" number="MODAL-SynLab">MODAL-SynLab</collection>
    <collection role="projects" number="CRC1026">CRC1026</collection>
    <collection role="projects" number="Siemens">Siemens</collection>
    <collection role="projects" number="MODAL-Gesamt">MODAL-Gesamt</collection>
    <collection role="institutes" number="aopt">Applied Optimization</collection>
    <file>https://opus4.kobv.de/opus4-zib/files/5767/scipopt-32.pdf</file>
  </doc>
</export-example>
