Ambros M. Gleixner

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 52

Top Topics

Integer Programming

Integer Program

Top Venues

Math. Program. Comput.

Publications

Mohammed Ghannam, Gioni Mexi, Edward Lam, Ambros M. Gleixner
Branch-and-Price for the Length-Constrained Cycle Partition Problem. CoRR (2024)
Ksenia Bestuzheva, Ambros M. Gleixner, Stefan Vigerske
A computational study of perspective cuts. Math. Program. Comput. 15 (4) (2023)
Gioni Mexi, Mathieu Besançon, Suresh Bolusani, Antonia Chmiela, Alexander Hoen, Ambros M. Gleixner
Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization. CoRR (2023)
Ksenia Bestuzheva, Ambros M. Gleixner, Tobias Achterberg
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products. IPCO (2023)
Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. CP (2023)
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
Enabling Research through the SCIP Optimization Suite 8.0. ACM Trans. Math. Softw. 49 (2) (2023)
Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta
Online Learning for Scheduling MIP Heuristics. CPAIOR (2023)
Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. CoRR (2023)
Leon Eifler, Ambros M. Gleixner
A computational status update for exact rational mixed integer programming. Math. Program. 197 (2) (2023)
Mohammed Ghannam, Ambros M. Gleixner
Hybrid Genetic Search for Dynamic Vehicle Routing with Time Windows. CoRR (2023)
Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta
Online Learning for Scheduling MIP Heuristics. CoRR (2023)
Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices. Parallel Comput. 109 (2022)
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi, Felipe Serrano
On generalized surrogate duality in mixed-integer nonlinear programming. Math. Program. 192 (1) (2022)
Leon Eifler, Ambros M. Gleixner, Jonad Pulaj
A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture. ACM Trans. Math. Softw. 48 (2) (2022)
Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros M. Gleixner
A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models. Eur. J. Oper. Res. 296 (1) (2022)
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 Yangm, 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, Chen Binbin, He Minggui, Hao Hao, Zhang Zhiyu, An Zhiwu, Mao Kun
The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights. CoRR (2022)
Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
An algorithm-independent measure of progress for linear constraint propagation. Constraints An Int. J. 27 (4) (2022)
Antonia Chmiela, Elias B. Khalil, Ambros M. Gleixner, Andrea Lodi, Sebastian Pokutta
Learning to Schedule Heuristics in Branch-and-Bound. CoRR (2021)
Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation. CP (2021)
Jo Devriendt, Ambros M. Gleixner, Jakob Nordström
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Constraints An Int. J. 26 (1) (2021)
Antonia Chmiela, Elias Khalil, Ambros M. Gleixner, Andrea Lodi, Sebastian Pokutta
Learning to Schedule Heuristics in Branch and Bound. NeurIPS (2021)
Leon Eifler, Ambros M. Gleixner
A Computational Status Update for Exact Rational Mixed Integer Programming. IPCO (2021)
Maxime Gasse, Simon Bowly, Quentin Cappart, Jonas Charfreitag, Laurent Charlin, Didier Chételat, Antonia Chmiela, Justin Dumouchelle, Ambros M. Gleixner, Aleksandr M. Kazachkov, Elias 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
The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights. NeurIPS (Competition and Demos) (2021)
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
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library. Math. Program. Comput. 13 (3) (2021)
Jakob Witzig, Ambros M. Gleixner
Conflict-Driven Heuristics for Mixed Integer Programming. INFORMS J. Comput. 33 (2) (2021)
Patrick Gemander, Weikun Chen, Dieter Weninger, Leona Gottwald, Ambros M. Gleixner, Alexander Martin
Two-row and two-column mixed-integer presolve using hashing-based pairing methods. EURO J. Comput. Optim. 8 (3) (2020)
Felipe Serrano, Robert Schwarz, Ambros M. Gleixner
On the relation between the extended supporting hyperplane algorithm and Kelley's cutting plane algorithm. J. Glob. Optim. 78 (1) (2020)
Ambros M. Gleixner, Daniel E. Steffy
Linear programming using limited-precision oracles. Math. Program. 183 (1) (2020)
Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices. CoRR (2020)
Benjamin Müller, Felipe Serrano, Ambros M. Gleixner
Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms. SIAM J. Optim. 30 (2) (2020)
Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso
Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition. Ann. Oper. Res. 284 (2) (2020)
Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
Accelerating Domain Propagation: An Efficient GPU-Parallel Algorithm over Sparse Matrices. IA3@SC (2020)
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi, Felipe Serrano
On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming. IPCO (2020)
Ambros M. Gleixner, Daniel E. Steffy
Linear Programming Using Limited-Precision Oracles. IPCO (2019)
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
QPLIB: a library of quadratic programming instances. Math. Program. Comput. 11 (2) (2019)
Ambros M. Gleixner, Daniel E. Steffy
Linear Programming using Limited-Precision Oracles. CoRR (2019)
Ambros M. Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu
First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method. OR (2019)
Tobias Weber, Sebastian Sager, Ambros M. Gleixner
Solving quadratic programs to high precision using scaled iterative refinement. Math. Program. Comput. 11 (3) (2019)
Ambros M. Gleixner, Christian Kirches, John Mitchell, Theodore K. Ralphs
Preface. Optim. Methods Softw. 33 (3) (2018)
Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber
Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes. Multiscale Model. Simul. 16 (1) (2018)
Stefan Vigerske, Ambros M. Gleixner
SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework. Optim. Methods Softw. 33 (3) (2018)
Pierre Bonami, Ambros M. Gleixner, Jeff T. Linderoth, Ruth Misener
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081). Dagstuhl Reports 8 (2) (2018)
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
Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods. OR (2017)
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
Verifying Integer Programming Results. IPCO (2017)
Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso
Exact Methods for Recursive Circle Packing. CoRR (2017)
Ambros M. Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge
Three enhancements for optimization-based bound tightening. J. Glob. Optim. 67 (4) (2017)
Fabio D'Andreagiovanni, Ambros M. Gleixner
Towards an Accurate Solution of Wireless Network Design Problems. ISCO (2016)
Fabio D'Andreagiovanni, Ambros M. Gleixner
Towards an accurate solution of wireless network design problems. CoRR (2016)
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
Iterative Refinement for Linear Programming. INFORMS J. Comput. 28 (3) (2016)
Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber, Jakob Witzig
Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes. CoRR (2016)
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
Verifying Integer Programming Results. CoRR (2016)
Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin
Branching on Multi-aggregated Variables. CPAIOR (2015)
Timo Berthold, Ambros M. Gleixner
Undercover: a primal MINLP heuristic exploring a largest sub-MIP. Math. Program. 144 (1-2) (2014)
Ambros M. Gleixner, Stefan Weltge
Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming. CPAIOR (2013)
Timo Berthold, Ambros M. Gleixner
Undercover Branching. SEA (2013)
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
Improving the accuracy of linear programming solvers with iterative refinement. ISSAC (2012)
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
MIPLIB 2010. Math. Program. Comput. 3 (2) (2011)
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. Comput. Oper. Res. 36 (4) (2009)
Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske
Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling. HPSC (2009)