Skip to main content
Home
  • Impressum und Datenschutz
  • English
  • Deutsch
Print
-A +A
  • Forschung
    • Solutions for Individualized Medicine
    • Molecular and Biological Processes
    • Materials and Optical Processes
    • Combinatorics and MINLP
    • MSO for Multiscale Systems
    • Robust Solutions under Uncertainty
    • Digital Humanities
    • Efficient Infrastructure and Logistics
    • Large-Scale Data Management, Curation & Analysis
    • Highly Parallel Computing
    • Scalable and Fault-Tolerant Algorithms
    • Publikationen
    • Bücher
    • Features
  • Institut
    • Research Campus MODAL
    • Intel oneAPI CoE
    • Joint Lab Optics
    • Oracle Center of Excellence
    • Organization
    • Organizational Chart
    • Weitere Ausschüsse und Verordnungen
    • Spin-Offs
    • Konrad Zuse
    • Hall of Fame
  • Forschungsdienste
    • NHR Center at ZIB
    • Supercomputing
    • Data Archive
    • KOBV
    • BRAIN
    • Software
    • Room Reservation
    • Library
  • Mitglieder
  • Öffentlichkeit
    • Doktoranden
    • Stipendien
    • Lehrveranstaltungen
    • Ausbildungsplätze
    • Schulen
    • Presse
    • Öffentliche Veranstaltungen
    • Geführte Touren
    • Ehemalige
    • Abschlussarbeiten
  • Kontakt
Home  |  Members  |  Gleixner, Prof. Dr. Ambros

Gleixner, Prof. Dr. Ambros

Funktion: 
Leitung Arbeitsgruppe
Raum: 
1351
Bereich: 
Mathematical Algorithmic Intelligence
Abteilung: 
KI in Gesellschaft, Wissenschaft und Technologie
Arbeitsgruppe: 
Mathematische Optimierungsmethoden
Mail: 
gleixnerzib.de
Telefon: 
+49 30 84185 - 169
Fax: 
+49 30 84185 - 269
Personal website: 
http://www.zib.de/gleixner

Projekte

Leitung

Siemens Cooperation
MODAL-SynLab
Linear, Integer, and Constraint Programming
Solving Supply Chain Management Problems
Cycle Detection in Nonreversible Markov Processes
Research Campus MODAL
BEAM-ME
EnBA-M

Mitglieder

Nonconvex Mixed-Integer Nonlinear Programming
Optimization of Gas Transport
HPO-NAVI

Publikationen

2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008

2023

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 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 Enabling Research through the SCIP Optimization Suite 8.0 ACM Transactions on Mathematical Software, 2023 (accepted for publication) BibTeX
DOI
Leon Eifler, Ambros Gleixner 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) PDF (ZIB-Report)
BibTeX
Ksenia Bestuzheva, Helena Völker, Ambros Gleixner Strengthening SONC Relaxations with Constraints Derived from Variable Bounds PDF
BibTeX
URN

2022

Leon Eifler, Ambros Gleixner, Jonad Pulaj 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) PDF (ZIB-Report)
BibTeX
DOI
Leon Eifler, Ambros Gleixner A computational status update for exact rational mixed integer programming Mathematical Programming, 2022 BibTeX
DOI
Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros Gleixner 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) PDF (ZIB-Report)
BibTeX
DOI
Boro Šofranac, Ambros Gleixner, Sebastian Pokutta Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices Parallel Computing, Vol.109, p. 102874, 2022 BibTeX
DOI
Boro Šofranac, Ambros Gleixner, Sebastian Pokutta An Algorithm-independent Measure of Progress for Linear Constraint Propagation Constraints, Vol.27, pp. 432-455, 2022 BibTeX
DOI
Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products 2022 BibTeX
arXiv
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano On generalized surrogate duality in mixed-integer nonlinear programming Mathematical Programming, 192(1), pp. 89-118, 2022 BibTeX
DOI
Antonia Chmiela, Ambros Gleixner, Pawel Lichocki, Sebastian Pokutta Online Learning for Scheduling MIP Heuristics 2022 (under review, preprint available as ) BibTeX
Ambros Gleixner, Leona Gottwald, Alexander Hoen PaPILO: A Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support 2022 (under review) BibTeX
Ksenia Bestuzheva, Ambros Gleixner, Helena Völker 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) PDF (ZIB-Report)
BibTeX
arXiv

2021

Leon Eifler, Ambros Gleixner 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) PDF (ZIB-Report)
BibTeX
DOI
Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske A Computational Study of Perspective Cuts 2021 (under review, preprint available as ZIB-Report 21-07) PDF (ZIB-Report)
BibTeX
Boro Sofranac, Ambros Gleixner, Sebastian Pokutta 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) BibTeX
DOI
Jo Devriendt, Ambros Gleixner, Jakob Nordström Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search Constraints, Vol.26, pp. 26-55, 2021 BibTeX
DOI
Antonia Chmiela, Elias B. Khalil, Ambros Gleixner, Andrea Lodi, Sebastian Pokutta Learning to Schedule Heuristics in Branch and Bound Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 BibTeX
arXiv
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 MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library Mathematical Programming Computation, 13(3), pp. 443-490, 2021 BibTeX
DOI
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 The SCIP Optimization Suite 8.0 ZIB-Report 21-41 PDF
BibTeX
URN

2020

Boro Sofranac, Ambros Gleixner, Sebastian Pokutta 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 BibTeX
arXiv
DOI
Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Fred Fiand, Hans-Christian Gils, Ambros Gleixner, Dmitry Khabi, Nils Kempke, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel 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 BibTeX
Jakob Witzig, Ambros Gleixner Conflict-Driven Heuristics for Mixed Integer Programming INFORMS Journal on Computing, 33(2), pp. 706-720, 2020 (preprint available as ZIB-Report 19-08) PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
Ambros Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu 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) PDF (ZIB-Report)
BibTeX
DOI
Jo Devriendt, Ambros Gleixner, Jakob Nordström 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 BibTeX
Ambros Gleixner, Daniel Steffy Linear Programming using Limited-Precision Oracles Mathematical Programming, 183(1-2), pp. 525-554, 2020 (preprint available as ZIB-Report 19-57) PDF (ZIB-Report)
BibTeX
DOI
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano 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) PDF (ZIB-Report)
BibTeX
DOI
Felipe Serrano, Robert Schwarz, Ambros Gleixner 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) PDF (ZIB-Report)
BibTeX
DOI
Ambros Gleixner, Stephen Maher, Benjamin Müller, João Pedro Pedroso 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) PDF (ZIB-Report)
BibTeX
DOI
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 The SCIP Optimization Suite 7.0 ZIB-Report 20-10 PDF
BibTeX
URN
Patrick Gemander, Wei-Kun Chen, Dieter Weninger, Leona Gottwald, Ambros Gleixner 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 BibTeX
DOI
Benjamin Müller, Felipe Serrano, Ambros Gleixner 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) PDF
PDF (ZIB-Report)
BibTeX
URN
DOI

2019

Thomas Breuer, Michael Bussieck, Frederik Fiand, Karl-Kiên Cao, Hans Christian Gils, Manuel Wetzel, Ambros Gleixner, Thorsten Koch, Daniel Rehfeldt, Dmitry Khabi BEAM-ME: Ein interdisziplinärer Beitrag zur Erreichung der Klimaziele OR-News : das Magazin der GOR, pp. 6-8, 2019 BibTeX
Ambros Gleixner, Daniel Steffy 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 BibTeX
DOI
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 QPLIB: A Library of Quadratic Programming Instances Mathematical Programming Computation, 11(2), pp. 237-265, 2019 BibTeX
DOI
Tobias Weber, Sebastian Sager, Ambros Gleixner 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) PDF (ZIB-Report)
BibTeX
DOI
Gerald Gamrath, Ambros Gleixner, Thorsten Koch, Matthias Miltenberger, Dimitri Kniasew, Dominik Schlögel, Alexander Martin, Dieter Weninger 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) PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI

2018

Leon Eifler, Ambros Gleixner, Jonad Pulaj Chvátal’s Conjecture Holds for Ground Sets of Seven Elements ZIB-Report 18-49 PDF
BibTeX
URN
Pierre Bonami, Ambros Gleixner, Jeff Linderoth, Ruth Misener Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081) Dagstuhl Reports, 8(2), pp. 64-87, 2018 BibTeX
DOI
Alexander Georges, Ambros Gleixner, Gorana Gojic, Robert Lion Gottwald, David Haley, Gregor Hendel, Bartlomiej Matejczyk Feature-Based Algorithm Selection for Mixed Integer Programming ZIB-Report 18-17 PDF
BibTeX
URN
Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros Gleixner, Andreas Grever, Marcus Weber 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) PDF (ZIB-Report)
BibTeX
DOI
Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Felix Cebulla, Frederik Fiand, Hans Christian Gils, Ambros 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 Operations Research Proceedings 2017, pp. 641-647, 2018 (preprint available as ZIB-Report 17-75) PDF (ZIB-Report)
BibTeX
DOI
Stefan Vigerske, Ambros Gleixner 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) PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
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 The SCIP Optimization Suite 6.0 ZIB-Report 18-26 PDF
BibTeX
URN

2017

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 The SCIP Optimization Suite 4.0 ZIB-Report 17-12 PDF
PDF
BibTeX
URN
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 The SCIP Optimization Suite 5.0 ZIB-Report 17-61 PDF
BibTeX
URN
Ambros Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge Three Enhancements for Optimization-Based Bound Tightening Journal of Global Optimization, 67(4), pp. 731-757, 2017 (preprint available as ZIB-Report 15-16) PDF (ZIB-Report)
BibTeX
DOI
Kevin K. H. Cheung, Ambros Gleixner, Daniel Steffy 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) PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI

2016

Ambros Gleixner, Daniel Steffy, Kati Wolter Iterative Refinement for Linear Programming INFORMS Journal on Computing, 28(3), pp. 449-464, 2016 (preprint available as ZIB-Report 15-15) PDF (ZIB-Report)
BibTeX
DOI
Karl-Kiên Cao, Ambros Gleixner, Matthias Miltenberger Methoden zur Reduktion der Rechenzeit linearer Optimierungsmodelle in der Energiewirtschaft - Eine Performance-Analyse EnInnov 2016: 14. Symposium Energieinnovation 2016, 2016 PDF
BibTeX
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 The SCIP Optimization Suite 3.2 ZIB-Report 15-60 PDF
BibTeX
URN
Fabio D'Andreagiovanni, Ambros Gleixner 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) PDF (ZIB-Report)
BibTeX
DOI

2015

Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros Gleixner, Domenico Salvagnin 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) PDF (ZIB-Report)
BibTeX
DOI
Ambros Gleixner 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 BibTeX

2014

Timo Berthold, Ambros Gleixner 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) PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI

2013

Ambros Gleixner, Stefan Weltge 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) PDF (ZIB-Report)
BibTeX
DOI
Timo Berthold, Ambros Gleixner 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) PDF (ZIB-Report)
BibTeX
DOI

2012

Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske 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) PDF (ZIB-Report)
BibTeX
DOI
Andreas Bley, Ambros Gleixner, Thorsten Koch, Stefan Vigerske 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) PDF (ZIB-Report)
BibTeX
DOI
Ambros Gleixner Factorization and update of a reduced basis matrix for the revised simplex method ZIB-Report 12-36 PDF
BibTeX
URN
Ambros Gleixner, Daniel Steffy, Kati Wolter 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) PDF (ZIB-Report)
BibTeX
DOI
Timo Berthold, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano 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) PDF (ZIB-Report)
BibTeX
Timo Berthold, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite ZIB-Report 12-27 PDF
BibTeX
URN
Ambros Gleixner, Harald Held, Wei Huang, Stefan Vigerske 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) PDF (ZIB-Report)
BibTeX
DOI

2011

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 MIPLIB 2010 Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) PDF (ZIB-Report)
BibTeX
DOI
Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske On the computational impact of MIQCP solver components ZIB-Report 11-01 PDF
BibTeX
URN

2010

Timo Berthold, Ambros Gleixner 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) PDF (ZIB-Report)
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX

2009

Natashia Boland, Irina Dumitrescu, Gary Froyland, Ambros Gleixner 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 BibTeX

2008

Ambros Gleixner Solving Large-scale Open Pit Mining Production Scheduling Problems by Integer Programming Master's thesis, Technische Universität Berlin, 2008 (preprint available as ) PDF (ZIB-Report)
BibTeX
  • Forschung
    • Solutions for Individualized Medicine
    • Molecular and Biological Processes
    • Materials and Optical Processes
    • Combinatorics and MINLP
    • MSO for Multiscale Systems
    • Robust Solutions under Uncertainty
    • Digital Humanities
    • Efficient Infrastructure and Logistics
    • Large-Scale Data Management, Curation & Analysis
    • Highly Parallel Computing
    • Scalable and Fault-Tolerant Algorithms
    • Publikationen
    • Bücher
    • Features
  • Institut
    • Research Campus MODAL
    • Intel oneAPI CoE
    • Joint Lab Optics
    • Oracle Center of Excellence
    • Organization
    • Organizational Chart
    • Weitere Ausschüsse und Verordnungen
    • Spin-Offs
    • Konrad Zuse
    • Hall of Fame
  • Forschungsdienste
    • NHR Center at ZIB
    • Supercomputing
    • Data Archive
    • KOBV
    • BRAIN
    • Software
    • Room Reservation
    • Library
  • Mitglieder
  • Öffentlichkeit
    • Doktoranden
    • Stipendien
    • Lehrveranstaltungen
    • Ausbildungsplätze
    • Schulen
    • Presse
    • Öffentliche Veranstaltungen
    • Geführte Touren
    • Ehemalige
    • Abschlussarbeiten
  • Kontakt