A A
en
Deutsch
English
Menü
Home Members Gleixner, Ambros, Prof. Dr.

Gleixner, Ambros, Prof. Dr.

Media Name: zibmembers.jpg

Contact

Position
Head of Research Group
Room
3023
Phone
+49 30 84185-169
Email
Email
Website
https://www.zib.de/userpage/gleixner/
Division
Mathematical Algorithmic Intelligence
Department
AI in Society, Science, and Technology
Group
Mathematical Optimization Methods

Projects

Projects as Head

Media Name: Logo_Enba-M.JPG

EnBA-M

Adlershof, one of the most important scientific, economic and media locations in Berlin, is home to more than 1,000 companies and research facilities with over 22,000...

EnBA-M
Media Name: 0001.jpg

BEAM-ME

The project "Realisierung von Beschleunigungsstrategien der anwendungsorientierten Mathematik und Informatik für optimierende Energiesystemmodelle" ("BEAM-ME"), which is...

BEAM-ME
Media Name: birkhoff_logo.jpg

Cycle Detection in Nonreversible Markov Processes

The main objective of this project is to develop an adaptive sampling strategy for the identification of cycles in transition networks. To analyse transition networks...

Cycle Detection in Nonreversible Markov Processes
Media Name: scip-website.png

Linear, Integer, and Constraint Programming

Many real world problems can be modeled as mixed integer programs (MIPs) or mixed integer nonlinear programs (MINLPs). This project aims at developing tools for modeling...

Linear, Integer, and Constraint Programming

Projects as Member

HPO

HPO-NAVI

The complexity of sustainably developing research software is still largely underrated and the question how to guarantee visibility and fair attribution of these efforts...

HPO-NAVI
Media Name: modal_icon_gruen.jpg

MODAL-SynLab

A major aim of the Research Campus MODAL is the development and use of mathematical synergies between the individual labs of the network. In this context, the fields of...

MODAL-SynLab
Media Name: gas.jpg

Optimization of Gas Transport

Natural gas is one of the most important energy sources in Germany and Europe. In recent years, political regulations have led to a strict separation of gas trading and...

Optimization of Gas Transport
Media Name: minlp_01.png

Nonconvex Mixed-Integer Nonlinear Programming

The goal of this project is to bring together the expertise of SCIP and LaGO for the development of a general purpose LP based branch-and-cut solver for nonconvex MINLPs...

Nonconvex Mixed-Integer Nonlinear Programming

Publications

2025
Efficient separation of RLT cuts for implicit and explicit bilinear terms Mathematical Programming, Vol.210, pp. 47-74, 2025 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
2024
Branch and cut for partitioning a graph into a cycle of clusters Combinatorial Optimization. ISCO 2024, pp. 97-108, Vol.14594, Lecture Notes in Computer Science, 2024 Leon Eifler, Jakob Witzig, Ambros Gleixner BibTeX
DOI
Branch and price for the length-constrained cycle partition problem Proceedings of INFORMS Optimization Society Conference, 2024 Mohammed Ghannam, Gioni Mexi, Edward Lam, Ambros Gleixner BibTeX
Certifying MIP-based presolve reductions for 0-1 integer linear programs Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2024, Vol.14742, Lecture Notes in Computer Science, 2024 Alexander Hoen, Andy Oertel, Ambros Gleixner, Jakob Nordström BibTeX
DOI
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization INFORMS Journal on Computing, 2024 (epub ahead of print, preprint available as ZIB-Report 23-26) Leon Eifler, Jules Nicolas-Thouvenin, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
Safe and verified Gomory mixed integer cuts in a rational MIP framework SIAM Journal on Optimization, 34(1), 2024 Leon Eifler, Ambros Gleixner BibTeX
DOI
Sorting Criteria for Line-based Periodic Timetabling Heuristics Operations Research Proceedings 2024: Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Germany, September 3-6, 2024 (OR2024), 2024 (accepted for publication, preprint available as ZIB-Report 24-07) Patricia Ebert, Berenike Masing, Niels Lindner, Ambros Gleixner PDF (ZIB-Report)
BibTeX
The MIP workshop 2023 computational competition on reoptimization Mathematical Programming Computation, Vol.16, pp. 255-266, 2024 Suresh Bolusani, Mathieu Besançon, Ambros Gleixner, Timo Berthold, Claudia D'Ambrosio, Gonzalo Muñoz, Joseph Paat, Dimitri Thomopulos BibTeX
DOI
The SCIP Optimization Suite 9.0 ZIB-Report 24-02-29 Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva, Antonia Chmiela, João Dionísio, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Christoph Graczyk, Katrin Halbig, Ivo Hedtke, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Julian Manns, Gioni Mexi, Erik Mühmer, Marc E. Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Dieter Weninger, Liding Xu PDF
BibTeX
URN
2023
A Computational Study of Perspective Cuts Mathematical Programming Computation, Vol.15, pp. 703-731, 2023 (preprint available as ZIB-Report 21-07) Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
A computational status update for exact rational mixed integer programming Mathematical Programming, Vol.197, pp. 793-812, 2023 Leon Eifler, Ambros Gleixner BibTeX
DOI
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products Integer Programming and Combinatorial Optimization. IPCO 2023., pp. 14-28, Vol.13904, Lecture Notes in Computer Science, 2023 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
Enabling research through the SCIP optimization suite 8.0 ACM Transactions on Mathematical Software, 49(2), pp. 1-21, 2023 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig BibTeX
DOI
Hybrid genetic search for dynamic vehicle routing with time windows Proceedings of Conference of the Society for Operations Research in Germany, 2023 Mohammed Ghannam, Ambros Gleixner BibTeX
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), pp. 27:1-27:19, Vol.280, Leibniz International Proceedings in Informatics (LIPIcs), 2023 Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström BibTeX
DOI
Online Learning for Scheduling MIP Heuristics Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 114-123, Vol.13884, Lecture Notes in Computer Science, 2023 (preprint available as ) Antonia Chmiela, Ambros Gleixner, Pawel Lichocki, Sebastian Pokutta BibTeX
DOI
PaPILO: A Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support INFORMS Journal on Computing, 35(6), pp. 1329-1341, 2023 (epub ahead of print) Ambros Gleixner, Leona Gottwald, Alexander Hoen BibTeX
DOI
Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework SIAM Journal on Optimization, 2023 (under review, preprint available as ZIB-Report 23-09) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization Proceedings of Conference of the Society for Operations Research in Germany, 2023 Gioni Mexi, Mathieu Besançon, Suresh Bolusani, Antonia Chmiela, Alexander Hoen, Ambros Gleixner BibTeX
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds Ksenia Bestuzheva, Helena Völker, Ambros Gleixner PDF
BibTeX
URN
2022
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture ACM Transactions on Mathematical Software, 48(2), 2022 (preprint available as ZIB-Report 21-35) Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF (ZIB-Report)
BibTeX
DOI
A computational status update for exact rational mixed integer programming Mathematical Programming, 2022 Leon Eifler, Ambros Gleixner BibTeX
DOI
A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models European Journal of Operational Research, 296(1), pp. 60-71, 2022 (preprint available as ZIB-Report 19-41) Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices Parallel Computing, Vol.109, p. 102874, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
An Algorithm-independent Measure of Progress for Linear Constraint Propagation Constraints, Vol.27, pp. 432-455, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
On generalized surrogate duality in mixed-integer nonlinear programming Mathematical Programming, 192(1), pp. 89-118, 2022 Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano BibTeX
DOI
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds Proceedings of the Hungarian Global Optimization Workshop HUGO 2022, pp. 41-44, 2022 (preprint available as ZIB-Report 22-23) Ksenia Bestuzheva, Ambros Gleixner, Helena Völker PDF (ZIB-Report)
BibTeX
arXiv
The Machine Learning for Combinatorial Optimization Competition (ML4CO): results and insights Proceedings of Conference on Neural Information Processing Systems, 2022 Maxime Gasse, Simon Bowly, Quentin Cappart, Jonas Charfreitag, Laurent Charlin, Didier Chételat, Antonia Chmiela, Justin Dumouchelle, Ambros Gleixner, Aleksandr M. Kazachkov, Elias Khalil, Pawel Lichocki, Andrea Lodi, Miles Lubin, Chris J. Maddison, Morris Christopher, Dimitri J. Papageorgiou, Augustin Parjadis, Sebastian Pokutta, Antoine Prouvost, Lara Scavuzzo, Giulia Zarpellon, Linxin Yang, Sha Lai, Akang Wang, Xiaodong Luo, Xiang Zhou, Haohan Huang, Shengcheng Shao, Yuanming Zhu, Dong Zhang, Tao Quan, Zixuan Cao, Yang Xu, Zhewei Huang, Shuchang Zhou, Chen Binbin, He Minggui, Hao Hao, Zhang Zhiyu, An Zhiwu, Mao Kun BibTeX
2021
A Computational Status Update for Exact Rational Mixed Integer Programming Integer Programming and Combinatorial Optimization: 22th International Conference, IPCO 2021, 2021 (preprint available as ZIB-Report 21-04) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), pp. 52:1-52:17, Vol.210, Leibniz International Proceedings in Informatics (LIPIcs), 2021 (epub ahead of print) Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search Constraints, Vol.26, pp. 26-55, 2021 Jo Devriendt, Ambros Gleixner, Jakob Nordström BibTeX
DOI
Learning to Schedule Heuristics in Branch and Bound Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 Antonia Chmiela, Elias B. Khalil, Ambros Gleixner, Andrea Lodi, Sebastian Pokutta BibTeX
arXiv
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
The SCIP Optimization Suite 8.0 ZIB-Report 21-41 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc E. Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig PDF
BibTeX
URN
2020
Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices 2020 IEEE/ACM 10th Workshop on Irregular Applications: Architectures and Algorithms (IA3), pp. 1-11, 2020 Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
arXiv
DOI
BEAM-ME: Accelerating Linear Energy Systems Models by a Massively Parallel Interior Point Method NIC Symposium 2020, pp. 345-352, Vol.50, NIC Series, 2020 Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Fred Fiand, Hans-Christian Gils, Ambros Gleixner, Dmitry Khabi, Nils Kempke, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel BibTeX
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
First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method Operations Research Proceedings 2019, pp. 105-111, 2020 (preprint available as ZIB-Report 19-39) Ambros Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu PDF (ZIB-Report)
BibTeX
DOI
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2020, pp. xxiv-xxvi, Vol.12296, LNCS, 2020 Jo Devriendt, Ambros Gleixner, Jakob Nordström BibTeX
Linear Programming using Limited-Precision Oracles Mathematical Programming, 183(1-2), pp. 525-554, 2020 (preprint available as ZIB-Report 19-57) Ambros Gleixner, Daniel Steffy PDF (ZIB-Report)
BibTeX
DOI
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
On the relation between the extended supporting hyperplane algorithm and Kelley’s cutting plane algorithm Journal of Global Optimization, Vol.78, pp. 161-179, 2020 (preprint available as ZIB-Report 19-18) Felipe Serrano, Robert Schwarz, Ambros Gleixner 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
Two-row and two-column mixed-integer presolve using hashing-based pairing methods EURO Journal on Computational Optimization, 8(3-4), pp. 205-240, 2020 Patrick Gemander, Wei-Kun Chen, Dieter Weninger, Leona Gottwald, Ambros Gleixner BibTeX
DOI
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
BEAM-ME: Ein interdisziplinärer Beitrag zur Erreichung der Klimaziele OR-News : das Magazin der GOR, pp. 6-8, 2019 Thomas Breuer, Michael Bussieck, Frederik Fiand, Karl-Kiên Cao, Hans Christian Gils, Manuel Wetzel, Ambros Gleixner, Thorsten Koch, Daniel Rehfeldt, Dmitry Khabi BibTeX
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
QPLIB: A Library of Quadratic Programming Instances Mathematical Programming Computation, 11(2), pp. 237-265, 2019 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 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
Tackling Industrial-Scale Supply Chain Problems by Mixed-Integer Programming Journal of Computational Mathematics, Vol.37, pp. 866-888, 2019 (preprint available as ZIB-Report 16-45) Gerald Gamrath, Ambros Gleixner, Thorsten Koch, Matthias Miltenberger, Dimitri Kniasew, Dominik Schlögel, Alexander Martin, Dieter Weninger PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
2018
Chvátal’s Conjecture Holds for Ground Sets of Seven Elements ZIB-Report 18-49 Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF
BibTeX
URN
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081) Dagstuhl Reports, 8(2), pp. 64-87, 2018 Pierre Bonami, Ambros Gleixner, Jeff Linderoth, Ruth Misener BibTeX
DOI
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
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) Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros Gleixner, Andreas Grever, Marcus Weber PDF (ZIB-Report)
BibTeX
DOI
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) Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Felix Cebulla, Frederik Fiand, Hans Christian Gils, Ambros Gleixner, Dmitry Khabi, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel 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
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
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) Kevin K. H. Cheung, Ambros Gleixner, Daniel Steffy PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
2016
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
Methoden zur Reduktion der Rechenzeit linearer Optimierungsmodelle in der Energiewirtschaft - Eine Performance-Analyse EnInnov 2016: 14. Symposium Energieinnovation 2016, 2016 Karl-Kiên Cao, Ambros Gleixner, Matthias Miltenberger PDF
BibTeX
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 ZIB-Report 16-12) Fabio D'Andreagiovanni, Ambros Gleixner PDF (ZIB-Report)
BibTeX
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
2014
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
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
2009
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 Natashia Boland, Irina Dumitrescu, Gary Froyland, Ambros Gleixner BibTeX
2008
Solving Large-scale Open Pit Mining Production Scheduling Problems by Integer Programming Master's thesis, Technische Universität Berlin, 2008 (preprint available as ) Ambros Gleixner PDF (ZIB-Report)
BibTeX