Ambros M. Gleixner

According to our database, Ambros M. Gleixner authored at least 48 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework.

Leon Eifler, Ambros M. Gleixner

SIAM J. Optim., March, 2024

Branch-and-Price for the Length-Constrained Cycle Partition Problem.

Mohammed Ghannam, Gioni Mexi, Edward Lam, Ambros M. Gleixner

CoRR, 2024

2023

A computational study of perspective cuts.

Ksenia Bestuzheva, Ambros M. Gleixner, Stefan Vigerske

Math. Program. Comput., December, 2023

Enabling Research through the SCIP Optimization Suite 8.0.

Ksenia Bestuzheva, Mathieu Besançon, Weikun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros M. Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco E. 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

ACM Trans. Math. Softw., June, 2023

A computational status update for exact rational mixed integer programming.

Leon Eifler, Ambros M. Gleixner

Math. Program., February, 2023

Hybrid Genetic Search for Dynamic Vehicle Routing with Time Windows.

Mohammed Ghannam, Ambros M. Gleixner

CoRR, 2023

Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization.

Gioni Mexi, Mathieu Besançon, Suresh Bolusani, Antonia Chmiela, Alexander Hoen, Ambros M. Gleixner

CoRR, 2023

Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products.

Ksenia Bestuzheva, Ambros M. Gleixner, Tobias Achterberg

Proceedings of the Integer Programming and Combinatorial Optimization, 2023

Online Learning for Scheduling MIP Heuristics.

Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.

Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture.

Leon Eifler, Ambros M. Gleixner, Jonad Pulaj

ACM Trans. Math. Softw., 2022

Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices.

Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta

Parallel Comput., 2022

On generalized surrogate duality in mixed-integer nonlinear programming.

Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi, Felipe Serrano

Math. Program., 2022

A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models.

Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros M. Gleixner

Eur. J. Oper. Res., 2022

The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights.

Maxime Gasse, Quentin Cappart, Jonas Charfreitag, Laurent Charlin, Didier Chételat, Antonia Chmiela, Justin Dumouchelle, Ambros M. Gleixner, Aleksandr M. Kazachkov, Elias B. Khalil, Pawel Lichocki, Andrea Lodi, Miles Lubin, Chris J. Maddison, Christopher Morris, 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, Sheng Cheng Shao, Yuanming Zhu, Dong Zhang, Tao Quan, Zixuan Cao, Yang Xu, Zhewei Huang, Shuchang Zhou, Binbin Chen, Minggui He, Hao Hao, Zhiyu Zhang, Zhiwu An, Kun Mao

CoRR, 2022

An algorithm-independent measure of progress for linear constraint propagation.

Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta

Constraints An Int. J., 2022

2021

MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library.

Ambros M. Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp Christophel, Kati Jarck, Thorsten Koch, Jeff T. Linderoth, Marco E. Lübbecke, Hans D. Mittelmann, Derya B. Özyurt, Ted K. Ralphs, Domenico Salvagnin, Yuji Shinano

Math. Program. Comput., 2021

Conflict-Driven Heuristics for Mixed Integer Programming.

Jakob Witzig, Ambros M. Gleixner

INFORMS J. Comput., 2021

Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search.

Jo Devriendt, Ambros M. Gleixner, Jakob Nordström

Constraints An Int. J., 2021

The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights.

Maxime Gasse, Simon Bowly, Quentin Cappart, Jonas Charfreitag, Laurent Charlin, Didier Chételat, Antonia Chmiela, Justin Dumouchelle, Ambros M. Gleixner, Aleksandr M. Kazachkov, Elias B. Khalil, Pawel Lichocki, Andrea Lodi, Miles Lubin, Chris J. Maddison, Christopher Morris, 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, Sheng Cheng Shao, Yuanming Zhu, Dong Zhang, Tao Quan, Zixuan Cao, Yang Xu, Zhewei Huang, Shuchang Zhou, Binbin Chen, Minggui He, Hao Hao, Zhiyu Zhang, Zhiwu An, Kun Mao

Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track, 2021

Learning to Schedule Heuristics in Branch and Bound.

Antonia Chmiela, Elias B. Khalil, Ambros M. Gleixner, Andrea Lodi, Sebastian Pokutta

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms.

Benjamin Müller, Felipe Serrano, Ambros M. Gleixner

SIAM J. Optim., 2020

Linear programming using limited-precision oracles.

Ambros M. Gleixner, Daniel E. Steffy

Math. Program., 2020

On the relation between the extended supporting hyperplane algorithm and Kelley's cutting plane algorithm.

Felipe Serrano, Robert Schwarz, Ambros M. Gleixner

J. Glob. Optim., 2020

Two-row and two-column mixed-integer presolve using hashing-based pairing methods.

Patrick Gemander, Weikun Chen, Dieter Weninger, Leona Gottwald, Ambros M. Gleixner, Alexander Martin

EURO J. Comput. Optim., 2020

Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition.

Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso

Ann. Oper. Res., 2020

2019

Solving quadratic programs to high precision using scaled iterative refinement.

Tobias Weber, Sebastian Sager, Ambros M. Gleixner

Math. Program. Comput., 2019

QPLIB: a library of quadratic programming instances.

Fabio Furini, Emiliano Traversi, Pietro Belotti, Antonio Frangioni, Ambros M. Gleixner, Nick Gould, Leo Liberti, Andrea Lodi, Ruth Misener, Hans D. Mittelmann, Nikolaos V. Sahinidis, Stefan Vigerske, Angelika Wiegele

Math. Program. Comput., 2019

First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method.

Ambros M. Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu

Proceedings of the Operations Research Proceedings 2019, 2019

2018

SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework.

Stefan Vigerske, Ambros M. Gleixner

Optim. Methods Softw., 2018

Preface.

Ambros M. Gleixner, Christian Kirches, John Mitchell, Theodore K. Ralphs

Optim. Methods Softw., 2018

Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes.

Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber

Multiscale Model. Simul., 2018

Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081).

Pierre Bonami, Ambros M. Gleixner, Jeff T. Linderoth, Ruth Misener

Dagstuhl Reports, 2018

2017

Three enhancements for optimization-based bound tightening.

Ambros M. Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge

J. Glob. Optim., 2017

Exact Methods for Recursive Circle Packing.

Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso

CoRR, 2017

Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods.

Thomas Breuer, Michael R. Bussieck, Karl-Kiên Cao, Felix Cebulla, Frederik Fiand, Hans Christian Gils, Ambros M. Gleixner, Dmitry Khabi, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel

Proceedings of the Operations Research Proceedings 2017, 2017

Verifying Integer Programming Results.

Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy

Proceedings of the Integer Programming and Combinatorial Optimization, 2017

2016

Iterative Refinement for Linear Programming.

Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter

INFORMS J. Comput., 2016

Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes.

Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber, Jakob Witzig

CoRR, 2016

Towards an Accurate Solution of Wireless Network Design Problems.

Fabio D'Andreagiovanni, Ambros M. Gleixner

Proceedings of the Combinatorial Optimization - 4th International Symposium, 2016

2015

Branching on Multi-aggregated Variables.

Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2014

Undercover: a primal MINLP heuristic exploring a largest sub-MIP.

Timo Berthold, Ambros M. Gleixner

Math. Program., 2014

2013

Undercover Branching.

Timo Berthold, Ambros M. Gleixner

Proceedings of the Experimental Algorithms, 12th International Symposium, 2013

Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming.

Ambros M. Gleixner, Stefan Weltge

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012

Improving the accuracy of linear programming solvers with iterative refinement.

Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

MIPLIB 2010.

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 D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter

Math. Program. Comput., 2011

2009

LP-based disaggregation approaches to solving the open pit mining production scheduling problem with block processing selectivity.

Natashia Boland, Irina Dumitrescu, Gary Froyland, Ambros M. Gleixner

Comput. Oper. Res., 2009

Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling.

Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske

Proceedings of the Modeling, 2009