Contact

Room
2352
Phone
+49 30 84185-475
Email

Projects

Projects as Head

Media Name: siemens_flags.jpg

Siemens Cooperation

The reliable solution of hard linear and mixed integer linear programs is one of the key technologies for the implementation of optimization modules. The cooperation...

Siemens Cooperation

Projects as Member

Media Name: birkhoff_logo.jpg

Cycle Detection in Nonreversible Markov Processes

The main objective of this project is to develop an adaptive sampling strategy for the identification of cycles in transition networks. To analyse transition networks...

Cycle Detection in Nonreversible Markov Processes
Media Name: siemens_flags.jpg

Siemens Cooperation

The reliable solution of hard linear and mixed integer linear programs is one of the key technologies for the implementation of optimization modules. The cooperation...

Siemens Cooperation

Publications

2024
Safe and verified Gomory mixed integer cuts in a rational MIP framework SIAM Journal on Optimization, 2024 Leon Eifler, Ambros Gleixner BibTeX
Eifler, Leon
2023
A computational status update for exact rational mixed integer programming Mathematical Programming, Vol.197, pp. 793-812, 2023 Leon Eifler, Ambros Gleixner BibTeX
DOI
Eifler, Leon
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization 2023 (under review, preprint available as ZIB-Report 23-26) Leon Eifler, Jules Nicolas-Thouvenin, Ambros Gleixner PDF (ZIB-Report)
BibTeX
Eifler, Leon
Enabling research through the SCIP optimization suite 8.0 ACM Transactions on Mathematical Software, 49(2), pp. 1-21, 2023 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. 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 BibTeX
DOI
Eifler, Leon
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) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
Eifler, Leon
2022
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) Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF (ZIB-Report)
BibTeX
DOI
Eifler, Leon
A computational status update for exact rational mixed integer programming Mathematical Programming, 2022 Leon Eifler, Ambros Gleixner BibTeX
DOI
Eifler, Leon
2021
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) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
Eifler, Leon
The SCIP Optimization Suite 8.0 ZIB-Report 21-41 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 PDF
BibTeX
URN
Eifler, Leon
2020
The SCIP Optimization Suite 7.0 ZIB-Report 20-10 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 PDF
BibTeX
URN
Eifler, Leon
2018
Chvátal’s Conjecture Holds for Ground Sets of Seven Elements ZIB-Report 18-49 Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF
BibTeX
URN
Eifler, Leon
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) Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros Gleixner, Andreas Grever, Marcus Weber PDF (ZIB-Report)
BibTeX
DOI
Eifler, Leon
The SCIP Optimization Suite 6.0 ZIB-Report 18-26 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 PDF
BibTeX
URN
Eifler, Leon
2017
Mixed-Integer Programming for Clustering in Non-reversible Markov Processes Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2017 Leon Eifler PDF
BibTeX
URN
Eifler, Leon
The SCIP Optimization Suite 5.0 ZIB-Report 17-61 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 PDF
BibTeX
URN
Eifler, Leon