Leon Eifler

According to our database, Leon Eifler authored at least 7 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework.

Leon Eifler, Ambros M. Gleixner

SIAM J. Optim., March, 2024

Branch and Cut for Partitioning a Graph into a Cycle of Clusters.

Leon Eifler, Jakob Witzig, Ambros M. Gleixner

Proceedings of the Combinatorial Optimization - 8th International Symposium, 2024

2023

Enabling Research through the SCIP Optimization Suite 8.0.

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

ACM Trans. Math. Softw., June, 2023

A computational status update for exact rational mixed integer programming.

Leon Eifler, Ambros M. Gleixner

Math. Program., February, 2023

2022

A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture.

Leon Eifler, Ambros M. Gleixner, Jonad Pulaj

ACM Trans. Math. Softw., 2022

2018

Mixed-Integer Programming for Cycle Detection in Nonreversible Markov Processes.

Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber

Multiscale Model. Simul., 2018

2016

Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes.

Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber, Jakob Witzig

CoRR, 2016