2019
Jakob Witzig, Ambros Gleixner	Conflict-Driven Heuristics for Mixed Integer Programming	ZIB-Report 19-08	PDF PDF BibTeX URN
Ambros Gleixner, Daniel E. Steffy	Linear Programming using Limited-Precision Oracles	A. Lodi, ed., Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019, 2019 (accepted for publication)	BibTeX
Tobias Weber, Sebastian Sager, Ambros Gleixner	Solving Quadratic Programs to High Precision using Scaled Iterative Refinement	Mathematical Programming Computation, 2019 (epub ahead of print, preprint available as ZIB-Report 18-04)	PDF (ZIB-Report) BibTeX DOI
Benjamin Müller, Felipe Serrano, Ambros Gleixner	Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms	2019 (under review, preprint available as ZIB-Report 19-15)	PDF (ZIB-Report) BibTeX
2018
Leon Eifler, Ambros Gleixner, Jonad Pulaj	Chvátal’s Conjecture Holds for Ground Sets of Seven Elements	ZIB-Report 18-49	PDF BibTeX URN
Alexander Georges, Ambros Gleixner, Gorana Gojic, Robert Lion Gottwald, David Haley, Gregor Hendel, Bartlomiej Matejczyk	Feature-Based Algorithm Selection for Mixed Integer Programming	ZIB-Report 18-17	PDF BibTeX URN
Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros Gleixner, Andreas Grever, Marcus Weber	Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes	Multiscale Modeling and Simulation, 16(1), pp. 248-265, 2018 (preprint available as ZIB-Report 16-39)	PDF (ZIB-Report) PDF (ZIB-Report) PDF (ZIB-Report) BibTeX DOI
Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Felix Cebulla, Frederik Fiand, Hans Christian Gils, Ambros Gleixner, Dmitry Khabi, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel	Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods	Operations Research Proceedings 2017, pp. 641-647, 2018 (preprint available as ZIB-Report 17-75)	PDF (ZIB-Report) PDF (ZIB-Report) BibTeX DOI
Ambros Gleixner, Stephan Maher, Benjamin Müller, João Pedro Pedroso	Price-and-verify: a new algorithm for recursive circle packing using Dantzig–Wolfe decomposition	Annals of Operations Research, 2018 (epub ahead of print, preprint available as ZIB-Report 17-07)	PDF (ZIB-Report) BibTeX DOI
Fabio Furini, Emiliano Traversi, Pietro Belotti, Antonio Frangioni, Ambros Gleixner, Nick Gould, Leo Liberti, Andrea Lodi, Ruth Misener, Hans Mittelmann, Nikolaos V. Sahinidis, Stefan Vigerske, Angelika Wiegele	QPLIB: A Library of Quadratic Programming Instances	Mathematical Programming Computation, 2018 (epub ahead of print)	BibTeX DOI
Stefan Vigerske, Ambros Gleixner	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)	PDF (ZIB-Report) PDF (ZIB-Report) BibTeX DOI
Ambros Gleixner, 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	The SCIP Optimization Suite 6.0	ZIB-Report 18-26	PDF BibTeX URN
2017
Stephen J. Maher, Tobias Fischer, Tristan Gally, Gerald Gamrath, Ambros Gleixner, Robert Lion Gottwald, Gregor Hendel, Thorsten Koch, Marco E. Lübbecke, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Dieter Weninger, Jonas T. Witt, Jakob Witzig	The SCIP Optimization Suite 4.0	ZIB-Report 17-12	PDF PDF BibTeX URN
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 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	The SCIP Optimization Suite 5.0	ZIB-Report 17-61	PDF BibTeX URN
Ambros M. Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge	Three Enhancements for Optimization-Based Bound Tightening	Journal of Global Optimization, 67(4), pp. 731-757, 2017 (preprint available as ZIB-Report 15-16)	PDF (ZIB-Report) BibTeX DOI
Kevin K.H. Cheung, Ambros Gleixner, Daniel E. Steffy	Verifying Integer Programming Results	F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017, pp. 148-160, Vol.10328, LNCS, 2017 (preprint available as ZIB-Report 16-58)	PDF (ZIB-Report) PDF (ZIB-Report) BibTeX DOI
2016
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter	Iterative Refinement for Linear Programming	INFORMS Journal on Computing, 28(3), pp. 449-464, 2016 (preprint available as ZIB-Report 15-15)	PDF (ZIB-Report) BibTeX DOI
Karl-Kiên Cao, Ambros Gleixner, Matthias Miltenberger	Methoden zur Reduktion der Rechenzeit linearer Optimierungsmodelle in der Energiewirtschaft - Eine Performance-Analyse	EnInnov 2016: 14. Symposium Energieinnovation 2016, 2016	PDF BibTeX
Gerald Gamrath, Ambros Gleixner, Thorsten Koch, Matthias Miltenberger, Dimitri Kniasew, Dominik Schlögel, Alexander Martin, Dieter Weninger	Tackling Industrial-Scale Supply Chain Problems by Mixed-Integer Programming	ZIB-Report 16-45	PDF PDF BibTeX URN
Gerald Gamrath, Tobias Fischer, Tristan Gally, Ambros M. Gleixner, Gregor Hendel, Thorsten Koch, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Stefan Vigerske, Dieter Weninger, Michael Winkler, Jonas T. Witt, Jakob Witzig	The SCIP Optimization Suite 3.2	ZIB-Report 15-60	PDF BibTeX URN
Fabio D'Andreagiovanni, Ambros Gleixner	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 ZIB-Report 16-12)	PDF (ZIB-Report) BibTeX DOI
2015
Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin	Branching on Multi-aggregated Variables	Integration of AI and OR Techniques in Constraint Programming, pp. 141-156, Vol.9075, Lecture Notes in Computer Science, 2015 (preprint available as ZIB-Report 15-10)	PDF (ZIB-Report) BibTeX DOI
Ambros M. Gleixner	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	BibTeX
2014
Timo Berthold, Ambros M. Gleixner	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)	PDF (ZIB-Report) PDF (ZIB-Report) BibTeX DOI
2013
Ambros M. Gleixner, Stefan Weltge	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)	PDF (ZIB-Report) BibTeX DOI
Timo Berthold, Ambros M. Gleixner	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)	PDF (ZIB-Report) BibTeX DOI
2012
Timo Berthold, Ambros M. Gleixner, Stefan Heinz, Stefan Vigerske	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)	PDF (ZIB-Report) BibTeX DOI
Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske	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)	PDF (ZIB-Report) BibTeX DOI
Ambros M. Gleixner	Factorization and update of a reduced basis matrix for the revised simplex method	ZIB-Report 12-36	PDF BibTeX URN
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter	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)	PDF (ZIB-Report) BibTeX DOI
Timo Berthold, Ambros M. Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano	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)	PDF (ZIB-Report) BibTeX
Timo Berthold, Gerald Gamrath, Ambros M. Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano	Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite	ZIB-Report 12-27	PDF BibTeX URN
Ambros M. Gleixner, Harald Held, Wei Huang, Stefan Vigerske	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)	PDF (ZIB-Report) BibTeX DOI
2011
Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros M. Gleixner, Stefan Heinz, Andrea Lodi, Hans Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter	MIPLIB 2010	Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31)	PDF (ZIB-Report) BibTeX DOI
Timo Berthold, Ambros M. Gleixner, Stefan Heinz, Stefan Vigerske	On the computational impact of MIQCP solver components	ZIB-Report 11-01	PDF BibTeX URN
2010
Timo Berthold, Ambros M. Gleixner	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)	PDF (ZIB-Report) PDF (ZIB-Report) PDF (ZIB-Report) BibTeX
2009
Natashia Boland, Irina Dumitrescu, Gary Froyland, Ambros M. Gleixner	LP-based disaggregation approaches to solving the open pit mining production scheduling problem with block processing selectivity	Computers & Operations Research, Vol.36, pp. 1064-1089, 2009	BibTeX
2008
Ambros M. Gleixner	Solving Large-scale Open Pit Mining Production Scheduling Problems by Integer Programming	Masters thesis, Technische Universität Berlin, 2008 (preprint available as )	PDF (ZIB-Report) BibTeX