Leon Eifler

Zuse Institute Berlin — Germany

Computer Science · Physical Sciences

5h-index205citations23works0.92yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(5), Polynomial and algebraic computation(5), Numerical Methods and Algorithms(5), Constraint Satisfaction and Optimization(4), Advanced Optimization Algorithms Research(3)

Publications23 total

scipopt/soplex: v8.0.1
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
scipopt/scip: v10.0.1
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization
INFORMS journal on computing·2024
Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver
arXiv (Cornell University)·2024· 1 citedOpen Access
Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework
SIAM Journal on Optimization·2024· 5 cited
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
arXiv (Cornell University)·2024Open Access
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
Lecture notes in computer science·2024
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization
arXiv (Cornell University)·2023Open Access
A proof system for certifying symmetry and optimality reasoning in integer programming
arXiv (Cornell University)·2023Open Access
Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework
arXiv (Cornell University)·2023· 1 citedOpen Access
Enabling Research through the SCIP Optimization Suite 8.0
ACM Transactions on Mathematical Software·2023· 60 citedOpen Access
A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture
ACM Transactions on Mathematical Software·2022Open Access
SCIP8: rethinking nonlinear constraint representation and recent progress
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
A computational status update for exact rational mixed integer programming
Mathematical Programming·2022· 19 citedOpen Access
The SCIP Optimization Suite 8.0
arXiv (Cornell University)·2021· 11 citedOpen Access
A Computational Status Update for Exact Rational Mixed Integer Programming
arXiv (Cornell University)·2021Open Access
A Computational Status Update for Exact Rational Mixed Integer Programming
Lecture notes in computer science·2021· 2 cited
Chvátal’s Conjecture Holds for Ground Sets of Seven Elements
arXiv (Cornell University)·2018Open Access
The SCIP Optimization Suite 6.0
TUbilio (Technical University of Darmstadt)·2018· 101 cited
Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes
Multiscale Modeling and Simulation·2018· 4 cited
page 1 of 2Next →

Frequent Co-authors

Ambros Gleixner(19), Jakob Witzig(6), Leona Gottwald(5), Gerald Gamrath(4), Thorsten Koch(4), Marco E. Lübbecke(4), Stephen J. Maher(4), Benjamin Müller(4), Marc E. Pfetsch(4), Daniel Rehfeldt(4), Yuji Shinano(4), Fabian Wegscheider(4), Christopher Hojny(4), Mark Turner(4), Gregor Hendel(3), Krunal Kishor Patel(3), Ksenia Bestuzheva(3), Mathieu Besançon(3), Wei‐Kun Chen(3), Antonia Chmiela(3)