Ambros M. Gleixner

70 papers A* 1A 2B 10C 2Misc 1Journal 46Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A diving heuristic for mixed-integer problems with unbounded semi-continuous variables. EURO J. Comput. Optim. Katrin Halbig, Alexander Hoen, Ambros M. Gleixner, Jakob Witzig, Dieter Weninger
2025	—	`conf`	Analyzing the Numerical Correctness of Branch-and-Bound Decisions for Mixed-Integer Programming. CPAIOR (2) Alexander Hoen, Ambros M. Gleixner
2025	J	`jnl`	Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization. INFORMS J. Comput. Leon Eifler, Jules Nicolas-Thouvenin, Ambros M. Gleixner
2025	J	`jnl`	Efficient separation of RLT cuts for implicit and explicit bilinear terms. Math. Program. Ksenia Bestuzheva, Ambros M. Gleixner, Tobias Achterberg
2024	C	`conf`	Branch and Cut for Partitioning a Graph into a Cycle of Clusters. ISCO Leon Eifler, Jakob Witzig, Ambros M. Gleixner
2024	J	`jnl`	Branch-and-Price for the Length-Constrained Cycle Partition Problem. CoRR Mohammed Ghannam, Gioni Mexi, Edward Lam, Ambros M. Gleixner
2024	—	`conf`	Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs. CPAIOR (1) Alexander Hoen, Andy Oertel, Ambros M. Gleixner, Jakob Nordström
2024	—	`conf`	Investigating Round-Up Properties for the Length-Constrained Cycle Partition Problem. OR Kilian Runnwerth, Mohammed Ghannam, Ambros M. Gleixner
2024	J	`jnl`	Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework. SIAM J. Optim. Leon Eifler, Ambros M. Gleixner
2024	—	`conf`	Sorting Criteria for Line-Based Periodic Timetabling Heuristics. OR Patricia Ebert, Berenike Masing, Niels Lindner, Ambros M. Gleixner
2024	J	`jnl`	The MIP Workshop 2023 Computational Competition on reoptimization. Math. Program. Comput. Suresh Bolusani, Mathieu Besançon, Ambros M. Gleixner, Timo Berthold, Claudia D'Ambrosio, Gonzalo Muñoz, Joseph Paat, Dimitri Thomopulos
2023	J	`jnl`	A computational status update for exact rational mixed integer programming. Math. Program. Leon Eifler, Ambros M. Gleixner
2023	J	`jnl`	A computational study of perspective cuts. Math. Program. Comput. Ksenia Bestuzheva, Ambros M. Gleixner, Stefan Vigerske
2023	B	`conf`	Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products. IPCO Ksenia Bestuzheva, Ambros M. Gleixner, Tobias Achterberg
2023	J	`jnl`	Enabling Research through the SCIP Optimization Suite 8.0. ACM Trans. Math. Softw. 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
2023	J	`jnl`	Hybrid Genetic Search for Dynamic Vehicle Routing with Time Windows. CoRR Mohammed Ghannam, Ambros M. Gleixner
2023	A	`conf`	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. CP Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström
2023	J	`jnl`	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. CoRR Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström
2023	B	`conf`	Online Learning for Scheduling MIP Heuristics. CPAIOR Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta
2023	J	`jnl`	Online Learning for Scheduling MIP Heuristics. CoRR Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta
2023	J	`jnl`	PaPILO: A Parallel Presolving Library for Integer and Linear Optimization with Multiprecision Support. INFORMS J. Comput. Ambros M. Gleixner, Leona Gottwald, Alexander Hoen
2023	J	`jnl`	Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization. CoRR Gioni Mexi, Mathieu Besançon, Suresh Bolusani, Antonia Chmiela, Alexander Hoen, Ambros M. Gleixner
2022	J	`jnl`	A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture. ACM Trans. Math. Softw. Leon Eifler, Ambros M. Gleixner, Jonad Pulaj
2022	J	`jnl`	A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models. Eur. J. Oper. Res. Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros M. Gleixner
2022	J	`jnl`	Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices. Parallel Comput. Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
2022	J	`jnl`	An algorithm-independent measure of progress for linear constraint propagation. Constraints An Int. J. Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
2022	J	`jnl`	On generalized surrogate duality in mixed-integer nonlinear programming. Math. Program. Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi, Felipe Serrano
2022	J	`jnl`	The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights. CoRR 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
2021	B	`conf`	A Computational Status Update for Exact Rational Mixed Integer Programming. IPCO Leon Eifler, Ambros M. Gleixner
2021	A	`conf`	An Algorithm-Independent Measure of Progress for Linear Constraint Propagation. CP Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
2021	J	`jnl`	Conflict-Driven Heuristics for Mixed Integer Programming. INFORMS J. Comput. Jakob Witzig, Ambros M. Gleixner
2021	J	`jnl`	Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Constraints An Int. J. Jo Devriendt, Ambros M. Gleixner, Jakob Nordström
2021	A*	`conf`	Learning to Schedule Heuristics in Branch and Bound. NeurIPS Antonia Chmiela, Elias B. Khalil, Ambros M. Gleixner, Andrea Lodi, Sebastian Pokutta
2021	J	`jnl`	Learning to Schedule Heuristics in Branch-and-Bound. CoRR Antonia Chmiela, Elias B. Khalil, Ambros M. Gleixner, Andrea Lodi, Sebastian Pokutta
2021	J	`jnl`	MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library. Math. Program. Comput. Ambros M. Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp M. 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
2021	—	`conf`	The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights. NeurIPS (Competition and Demos) 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
2020	—	`conf`	Accelerating Domain Propagation: An Efficient GPU-Parallel Algorithm over Sparse Matrices. IA3@SC Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
2020	J	`jnl`	Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices. CoRR Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta
2020	J	`jnl`	Linear programming using limited-precision oracles. Math. Program. Ambros M. Gleixner, Daniel E. Steffy
2020	B	`conf`	On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming. IPCO Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi, Felipe Serrano
2020	J	`jnl`	On the relation between the extended supporting hyperplane algorithm and Kelley's cutting plane algorithm. J. Glob. Optim. Felipe Serrano, Robert Schwarz, Ambros M. Gleixner
2020	J	`jnl`	Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition. Ann. Oper. Res. Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso
2020	J	`jnl`	Two-row and two-column mixed-integer presolve using hashing-based pairing methods. EURO J. Comput. Optim. Patrick Gemander, Weikun Chen, Dieter Weninger, Leona Gottwald, Ambros M. Gleixner, Alexander Martin
2020	J	`jnl`	Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms. SIAM J. Optim. Benjamin Müller, Felipe Serrano, Ambros M. Gleixner
2019	—	`conf`	First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method. OR Ambros M. Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu
2019	B	`conf`	Linear Programming Using Limited-Precision Oracles. IPCO Ambros M. Gleixner, Daniel E. Steffy
2019	J	`jnl`	Linear Programming using Limited-Precision Oracles. CoRR Ambros M. Gleixner, Daniel E. Steffy
2019	J	`jnl`	QPLIB: a library of quadratic programming instances. Math. Program. Comput. 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
2019	J	`jnl`	Solving quadratic programs to high precision using scaled iterative refinement. Math. Program. Comput. Tobias Weber, Sebastian Sager, Ambros M. Gleixner
2018	J	`jnl`	Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081). Dagstuhl Reports Pierre Bonami, Ambros M. Gleixner, Jeff T. Linderoth, Ruth Misener
2018	J	`jnl`	Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes. Multiscale Model. Simul. Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber
2018	J	`jnl`	Preface. Optim. Methods Softw. Ambros M. Gleixner, Christian Kirches, John Mitchell, Theodore K. Ralphs
2018	J	`jnl`	SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework. Optim. Methods Softw. Stefan Vigerske, Ambros M. Gleixner
2017	J	`jnl`	Exact Methods for Recursive Circle Packing. CoRR Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso
2017	—	`conf`	Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods. OR 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
2017	J	`jnl`	Three enhancements for optimization-based bound tightening. J. Glob. Optim. Ambros M. Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge
2017	B	`conf`	Verifying Integer Programming Results. IPCO Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
2016	J	`jnl`	Iterative Refinement for Linear Programming. INFORMS J. Comput. Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
2016	J	`jnl`	Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes. CoRR Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber, Jakob Witzig
2016	C	`conf`	Towards an Accurate Solution of Wireless Network Design Problems. ISCO Fabio D'Andreagiovanni, Ambros M. Gleixner
2016	J	`jnl`	Towards an accurate solution of wireless network design problems. CoRR Fabio D'Andreagiovanni, Ambros M. Gleixner
2016	J	`jnl`	Verifying Integer Programming Results. CoRR Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
2015	B	`conf`	Branching on Multi-aggregated Variables. CPAIOR Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin
2014	J	`jnl`	Undercover: a primal MINLP heuristic exploring a largest sub-MIP. Math. Program. Timo Berthold, Ambros M. Gleixner
2013	B	`conf`	Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming. CPAIOR Ambros M. Gleixner, Stefan Weltge
2013	B	`conf`	Undercover Branching. SEA Timo Berthold, Ambros M. Gleixner
2012	B	`conf`	Improving the accuracy of linear programming solvers with iterative refinement. ISSAC Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
2011	J	`jnl`	MIPLIB 2010. Math. Program. Comput. 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
2009	Misc	`conf`	Comparing MIQCP Solvers to a Specialised Algorithm for Mine Production Scheduling. HPSC Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske
2009	J	`jnl`	LP-based disaggregation approaches to solving the open pit mining production scheduling problem with block processing selectivity. Comput. Oper. Res. Natashia Boland, Irina Dumitrescu, Gary Froyland, Ambros M. Gleixner