| 2025 | CPAIOR | Analyzing the Numerical Correctness of Branch-and-Bound Decisions for Mixed-Integer Programming. | Alexander Hoen, Ambros M. Gleixner |
| 2024 | CPAIOR | Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs. | Alexander Hoen, Andy Oertel, Ambros M. Gleixner, Jakob Nordstrm |
| 2023 | CP | Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. | Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordstrm |
| 2023 | CPAIOR | Online Learning for Scheduling MIP Heuristics. | Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta |
| 2023 | IPCO | Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products. | Ksenia Bestuzheva, Ambros M. Gleixner, Tobias Achterberg |
| 2021 | CP | An Algorithm-Independent Measure of Progress for Linear Constraint Propagation. | Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta |
| 2021 | IPCO | A Computational Status Update for Exact Rational Mixed Integer Programming. | Leon Eifler, Ambros M. Gleixner |
| 2020 | IPCO | On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming. | Benjamin Mller, Gonzalo Muoz, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi, Felipe Serrano |
| 2020 | SC | Accelerating Domain Propagation: An Efficient GPU-Parallel Algorithm over Sparse Matrices. | Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta |
| 2019 | IPCO | Linear Programming Using Limited-Precision Oracles. | Ambros M. Gleixner, Daniel E. Steffy |
| 2017 | IPCO | Verifying Integer Programming Results. | Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy |
| 2015 | CPAIOR | Branching on Multi-aggregated Variables. | Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin |
| 2013 | CPAIOR | Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming. | Ambros M. Gleixner, Stefan Weltge |
| 2012 | ISSAC | Improving the accuracy of linear programming solvers with iterative refinement. | Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter |
| 2009 | HPSC | Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling. | Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske |