A A
de
Deutsch
English
Menü
Startseite Research Siemens Cooperation

Siemens Cooperation

The reliable solution of hard linear and mixed integer linear programs is one of the key technologies for the implementation of optimization modules. The cooperation between Siemens, ZIB, and the University of Erlangen-Nürnberg serves the goal of further developing such solution software, in particular SCIP and SoPlex with special attention to the requirements arising at Siemens.

Siemens Cooperation
Group
Mathematical Optimization Methods
Heads
Pokutta, Prof. Dr. Sebastian
Eifler, Leon
Members
Eifler, Leon
Partners
Siemens Corporate Technology
Related projects
Linear, Integer, and Constraint Programming
Links
Siemens Corporate Technology

Publications

2021
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library Mathematical Programming Computation, 13(3), pp. 443-490, 2021 Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp M. Christophel, Kati Jarck, Thorsten Koch, Jeff Linderoth, Marco Lübbecke, Hans Mittelmann, Derya Ozyurt, Ted Ralphs, Domenico Salvagnin, Yuji Shinano BibTeX
DOI
2020
Conflict Analysis for MINLP ZIB-Report 20-20 Timo Berthold, Jakob Witzig PDF
BibTeX
URN
Conflict-Driven Heuristics for Mixed Integer Programming INFORMS Journal on Computing, 33(2), pp. 706-720, 2020 (preprint available as ZIB-Report 19-08) Jakob Witzig, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
Conflict-Free Learning for Mixed Integer Programming Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2020, pp. 521-530, LNCS, 2020 (preprint available as ZIB-Report 19-59) Jakob Witzig, Timo Berthold PDF (ZIB-Report)
BibTeX
DOI
Estimating the Size of Branch-And-Bound Trees ZIB-Report 20-02 Gregor Hendel, Daniel Anderson, Pierre Le Bodic, Marc Pfetsch PDF
BibTeX
URN
On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming Integer Programming and Combinatorial Optimization: 21th International Conference, IPCO 2020, pp. 322-337, 2020 (preprint available as ZIB-Report 19-55) Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI
Price-and-verify: a new algorithm for recursive circle packing using Dantzig–Wolfe decomposition Annals of Operations Research, 284(2), pp. 527-555, 2020 (preprint available as ZIB-Report 17-07) Ambros Gleixner, Stephen Maher, Benjamin Müller, João Pedro Pedroso PDF (ZIB-Report)
BibTeX
DOI
The SCIP Optimization Suite 7.0 ZIB-Report 20-10 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 Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Christine Tawfik, Stefan Vigerske, Fabian Wegscheider, Dieter Weninger, Jakob Witzig PDF
BibTeX
URN
Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms SIAM Journal on Optimization, 30(2), pp. 1339-1365, 2020 (preprint available as ZIB-Report 19-15) Benjamin Müller, Felipe Serrano, Ambros Gleixner PDF
PDF (ZIB-Report)
BibTeX
URN
DOI
2019
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2019, pp. 84-94, Vol.11494, LNCS, 2019 (preprint available as ZIB-Report 18-57) Jakob Witzig, Timo Berthold, Stefan Heinz PDF (ZIB-Report)
BibTeX
DOI
Computational Aspects of Infeasibility Analysis in Mixed Integer Programming ZIB-Report 19-54 Jakob Witzig, Timo Berthold, Stefan Heinz PDF
PDF
BibTeX
URN
Exploiting Dual Degeneracy in Branching ZIB-Report 19-17 Timo Berthold, Gerald Gamrath, Domenico Salvagnin PDF
BibTeX
URN
Linear Programming using Limited-Precision Oracles A. Lodi, V. Nagarajan (eds), Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019, pp. 399-412, 2019 Ambros Gleixner, Daniel Steffy BibTeX
DOI
Local Rapid Learning for Integer Programs Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2019, pp. 67-83, Vol.11494, LNCS, 2019 (preprint available as ZIB-Report 18-56) Timo Berthold, Peter Stuckey, Jakob Witzig PDF (ZIB-Report)
BibTeX
DOI
Solving Quadratic Programs to High Precision using Scaled Iterative Refinement Mathematical Programming Computation, Vol.11, pp. 421-455, 2019 (preprint available as ZIB-Report 18-04) Tobias Weber, Sebastian Sager, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
Structure-driven fix-and-propagate heuristics for mixed integer programming Mathematical Programming Computation, 11(4), pp. 675-702, 2019 (preprint available as ZIB-Report 17-56) Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
2018
Adaptive Algorithmic Behavior for Solving Mixed Integer Programs Using Bandit Algorithms OR 2018: International Conference on Operations Research, Operations Research 2018 Proceedings, 2018 (accepted for publication, preprint available as ZIB-Report 18-36) Gregor Hendel, Matthias Miltenberger, Jakob Witzig PDF (ZIB-Report)
BibTeX
Adaptive Large Neighborhood Search for Mixed Integer Programming Mathematical Programming Computation, 2018 (under review, preprint available as ZIB-Report 18-60) Gregor Hendel PDF (ZIB-Report)
BibTeX
Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation AAAI-19: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2018 (accepted for publication, preprint available as ZIB-Report 19-11) Daniel Anderson, Gregor Hendel, Pierre Le Bodic, Jan Merlin Viernickel PDF (ZIB-Report)
BibTeX
Feature-Based Algorithm Selection for Mixed Integer Programming ZIB-Report 18-17 Alexander Georges, Ambros Gleixner, Gorana Gojic, Robert Lion Gottwald, David Haley, Gregor Hendel, Bartlomiej Matejczyk PDF
BibTeX
URN
Measuring the impact of branching rules for mixed-integer programming Operations Research Proceedings 2017, pp. 165-170, 2018 (preprint available as ) Gerald Gamrath, Christoph Schubert BibTeX
DOI
On the performance of NLP solvers within global MINLP solvers Operations Research Proceedings 2017, pp. 633-639, 2018 (preprint available as ZIB-Report 17-35) Benjamin Müller, Renke Kuhlmann, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
SCIP: Global Optimization of Mixed-Integer Nonlinear Programs in a Branch-and-Cut Framework Optimization Methods & Software, 33(3), pp. 563-593, 2018 (preprint available as ZIB-Report 16-24) Stefan Vigerske, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
The SCIP Optimization Suite 6.0 ZIB-Report 18-26 Ambros Gleixner, Michael Bastubbe, Leon Eifler, Tristan Gally, Gerald Gamrath, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc 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 PDF
BibTeX
URN
2017
Distributed Domain Propagation 16th International Symposium on Experimental Algorithms (SEA 2017), pp. 6:1-6:11, Vol.75, Leibniz International Proceedings in Informatics (LIPIcs), 2017 (preprint available as ZIB-Report 16-71) Robert Lion Gottwald, Stephen J. Maher, Yuji Shinano PDF (ZIB-Report)
BibTeX
DOI
From feasibility to improvement to proof: three phases of solving mixed-integer programs Optimization Methods and Software, 33(3), pp. 499-517, 2017 (preprint available as ZIB-Report 16-78) Timo Berthold, Gregor Hendel, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
The SCIP Optimization Suite 4.0 ZIB-Report 17-12 Stephen J. Maher, Tobias Fischer, Tristan Gally, Gerald Gamrath, Ambros Gleixner, Robert Lion Gottwald, Gregor Hendel, Thorsten Koch, Marco Lübbecke, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Dieter Weninger, Jonas T. Witt, Jakob Witzig PDF
PDF
BibTeX
URN
The SCIP Optimization Suite 5.0 ZIB-Report 17-61 Ambros Gleixner, Leon Eifler, Tristan Gally, Gerald Gamrath, Patrick Gemander, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Christian Puchert, Daniel Rehfeldt, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Jan Merlin Viernickel, Stefan Vigerske, Dieter Weninger, Jonas T. Witt, Jakob Witzig PDF
BibTeX
URN
Three Enhancements for Optimization-Based Bound Tightening Journal of Global Optimization, 67(4), pp. 731-757, 2017 (preprint available as ZIB-Report 15-16) Ambros Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge PDF (ZIB-Report)
BibTeX
DOI
2016
Experiments with Conflict Analysis in Mixed Integer Programming ZIB-Report 16-63 (Experiments with Conflict Analysis in Mixed Integer Programming, Proceedings of CPAIOR 2017) Jakob Witzig, Timo Berthold, Stefan Heinz PDF
PDF
BibTeX
URN
DOI
Iterative Refinement for Linear Programming INFORMS Journal on Computing, 28(3), pp. 449-464, 2016 (preprint available as ZIB-Report 15-15) Ambros Gleixner, Daniel Steffy, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
The SCIP Optimization Suite 3.2 ZIB-Report 15-60 Gerald Gamrath, Tobias Fischer, Tristan Gally, Ambros Gleixner, Gregor Hendel, Thorsten Koch, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Stefan Vigerske, Dieter Weninger, Michael Winkler, Jonas T. Witt, Jakob Witzig PDF
BibTeX
URN
Towards an accurate solution of wireless network design problems Cerulli R., Fujishige S., Mahjoub A. (eds) Combinatorial Optimization. ISCO 2016, pp. 135-147, 2016 (preprint available as ) Fabio D'Andreagiovanni, Ambros Gleixner BibTeX
DOI
Verifying Integer Programming Results ZIB-Report 16-58 (F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017) Kevin K. H. Cheung, Ambros Gleixner, Daniel Steffy PDF
PDF
BibTeX
URN
DOI
2015
Branching on Multi-aggregated Variables Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2015, pp. 141-156, Vol.9075, Lecture Notes in Computer Science, 2015 (preprint available as ZIB-Report 15-10) Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros Gleixner, Domenico Salvagnin PDF (ZIB-Report)
BibTeX
DOI
Exact and Fast Algorithms for Mixed-Integer Nonlinear Programming Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Thorsten Koch, Andrea Lodi (Advisors), 2015, ISBN: 978-3-8325-4190-3 Ambros Gleixner BibTeX
Optimization in the Real World Mathematics for Industry (MFI), Vol.13, Springer Tokyo Heidelberg New York Dordrecht London, 2015, ISBN: 978-4-431-55419-6 Katsuki Fujisawa, Yuji Shinano, Hayato Waki BibTeX
DOI
Progress in presolving for mixed integer programming Mathematical Programming Computation, 7(4), pp. 367-398, 2015 (preprint available as ZIB-Report 13-48) Gerald Gamrath, Thorsten Koch, Alexander Martin, Matthias Miltenberger, Dieter Weninger PDF (ZIB-Report)
BibTeX
DOI
Reoptimization Techniques in MIP Solvers pp. 181-192, Vol.9125, Experimental Algorithms, Lecture Notes in Computer Science, 2015, ISBN: 978-3-319-20086-6 (preprint available as ZIB-Report 15-24) Gerald Gamrath, Benjamin Hiller, Jakob Witzig PDF (ZIB-Report)
BibTeX
DOI
Structure-Based Primal Heuristics for Mixed Integer Programming Optimization in the Real World, Springer Japan, pp. 37-53, 2015, ISBN: 978-4-431-55419-6 (preprint available as ZIB-Report 15-26) Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler PDF (ZIB-Report)
BibTeX
DOI
2014
Shift-and-Propagate Journal of Heuristics, 21(1), pp. 73-106, 2014 (preprint available as ) Timo Berthold, Gregor Hendel BibTeX
DOI
Undercover: a primal MINLP heuristic exploring a largest sub-MIP Mathematical Programming, 144(1-2), pp. 315-346, 2014 (preprint available as ZIB-Report 12-07) Timo Berthold, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
2013
Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013, pp. 355-361, Vol.7874, Lecture Notes in Computer Science, 2013 (preprint available as ZIB-Report 13-04) Ambros Gleixner, Stefan Weltge PDF (ZIB-Report)
BibTeX
DOI
Undercover Branching Experimental Algorithms, 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings, Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (Eds.), pp. 212-223, Vol.7933, Lecture Notes in Computer Science, 2013 (preprint available as ZIB-Report 13-14) Timo Berthold, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
2012
Analyzing the computational impact of MIQCP solver components Numerical Algebra, Control and Optimization, 2(4), pp. 739-748, 2012 (preprint available as ZIB-Report 13-08) Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling Modeling, Simulation and Optimization of Complex Processes. Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam, pp. 25-39, 2012 (preprint available as ZIB-Report 09-32) Andreas Bley, Ambros Gleixner, Thorsten Koch, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
Factorization and update of a reduced basis matrix for the revised simplex method ZIB-Report 12-36 Ambros Gleixner PDF
BibTeX
URN
Improving the Accuracy of Linear Programming Solvers with Iterative Refinement ISSAC '12. Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, pp. 187-194, 2012 (preprint available as ZIB-Report 12-19) Ambros Gleixner, Daniel Steffy, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法 Proceedings of the 24th RAMP symposium. The Operations Society of Japan, RAMP: Research Association of Mathematical Programming, pp. 165-192, 2012 (preprint available as ZIB-Report 12-24) Timo Berthold, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano PDF (ZIB-Report)
BibTeX
Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite ZIB-Report 12-27 Timo Berthold, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano PDF
BibTeX
URN
Towards globally optimal operation of water supply networks Numerical Algebra, Control and Optimization, 2(4), pp. 695-711, 2012 (preprint available as ZIB-Report 12-25) Ambros Gleixner, Harald Held, Wei Huang, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
2011
MIPLIB 2010 Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Andrea Lodi, Hans Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel Steffy, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
On the computational impact of MIQCP solver components ZIB-Report 11-01 Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske PDF
BibTeX
URN
Rounding and Propagation Heuristics for Mixed Integer Programming Operations Research Proceedings 2011, pp. 71-76, 2011 (preprint available as ) Gregor Hendel, Timo Berthold, Tobias Achterberg BibTeX
2010
Undercover – a primal heuristic for MINLP based on sub-MIPs generated by set covering Proceedings of the European Workshop on Mixed Integer Nonlinear Programming, April 12-16, 2010, Marseilles, France, Pierre Bonami, Leo Liberti, Andrew J. Miller, Annick Sartenaer (Eds.), pp. 103-112, 2010 (preprint available as ZIB-Report 09-40) Timo Berthold, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX