Eifler, Leon, Dr.

Kontakt

Position

Gast

Raum

3103

Telefon

+49 30 84185-475

E-Mail

Projekte

Projekte als Leitung

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

Projekte als Mitglied

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

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

Publikationen

2025

The SCIP Optimization Suite 10.0 2025 Christopher Hojny, Mathieu Besançon, Ksenia Bestuzheva, Sander Borst, João Dionísio, Johannes Ehls, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Adrian Göß, Alexander Hoen, Jacob von Holly-Ponientzietz, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Marco Lübbecke, Stephen J. Maher, Paul Matti Meinhold, Gioni Mexi, Til Mohr, Erik Mühmer, Krunal Kishor Patel, Marc Pfetsch, Sebastian Pokutta, Chantal Reinartz Groba, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Matthias Walter, Dieter Weninger, Liding Xu BibTeX
arXiv

2024

Algorithms and Certificates for Exact Mixed Integer Programming Doctoral thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2024 Leon Eifler BibTeX
DOI

Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver 2024 Sander Borst, Leon Eifler, Ambros Gleixner BibTeX
arXiv

2023

A proof system for certifying symmetry and optimality reasoning in integer programming 2023 Jasper van Doornmalen, Leon Eifler, Ambros Gleixner, Christopher Hojny BibTeX
arXiv