Leon Eifler

researcher at ZIB since November 2017
doctoral candidate at TUB

📬 Contact

office Room 3103 at ZIB
e-mail eifler (at) zib.de

🎓 Academic Background

2017 M.Sc. in Mathematics at TUB
2014 B.Sc. in Mathematics at TUB

🔬 Research

Preprints

  1. Bolusani, S., Besançon, M., Bestuzheva, K., Chmiela, A., Dionísio, J., Donkiewicz, T., van Doornmalen, J., Eifler, L., Ghannam, M., Gleixner, A., Graczyk, C., Halbig, K., Hedtke, I., Hoen, A., Hojny, C., van der Hulst, R., Kamp, D., Koch, T., Kofler, K., … Xu, L. (2024). The SCIP Optimization Suite 9.0 (ZIB Report No. 24-02-29). Zuse Institute Berlin. [URL] [arXiv] [code]
    [BibTeX]
    @techreport{BolusaniEtal2024,
  year = {2024},
  institution = {Zuse Institute Berlin},
  type = {ZIB Report},
  month = feb,
  number = {24-02-29},
  url = {https://nbn-resolving.org/urn:nbn:de:0297-zib-95528},
  archiveprefix = {arXiv},
  eprint = {2402.17702},
  primaryclass = {math.OC},
  author = {Bolusani, Suresh and Besançon, Mathieu and Bestuzheva, Ksenia and Chmiela, Antonia and Dionísio, João and Donkiewicz, Tim and van Doornmalen, Jasper and Eifler, Leon and Ghannam, Mohammed and Gleixner, Ambros and Graczyk, Christoph and Halbig, Katrin and Hedtke, Ivo and Hoen, Alexander and Hojny, Christopher and van der Hulst, Rolf and Kamp, Dominik and Koch, Thorsten and Kofler, Kevin and Lentz, Jurgen and Manns, Julian and Mexi, Gioni and Mühmer, Erik and Pfetsch, Marc and Schlösser, Franziska and Serrano, Felipe and Shinano, Yuji and Turner, Mark and Vigerske, Stefan and Weninger, Dieter and Xu, Liding},
  title = {The SCIP Optimization Suite 9.0},
  code = {https://scipopt.org}
}
  2. Borst, S., Eifler, L., and Gleixner, A. (2024). Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver. [arXiv]
    [BibTeX]
    @misc{BorstEiflerGleixner2024_CertifiedConstraintPropagation,
  archiveprefix = {arXiv},
  eprint = {2403.13567},
  primaryclass = {math.OC},
  year = {2024},
  author = {Borst, Sander and Eifler, Leon and Gleixner, Ambros},
  title = {Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver}
}
  3. Eifler, L., Nicolas-Thouvenin, J., and Gleixner, A. (2023). Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization. [arXiv]
    [BibTeX]
    @misc{arXiv:2311.08037,
  archiveprefix = {arXiv},
  eprint = {2311.08037},
  primaryclass = {math.OC},
  year = {2023},
  author = {Eifler, Leon and Nicolas-Thouvenin, Jules and Gleixner, Ambros},
  title = {Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization}
}
  4. van Doornmalen, J., Eifler, L., Gleixner, A., and Hojny, C. (2023). A Proof System for Certifying Symmetry and Optimality Reasoning in Integer Programming. [arXiv]
    [BibTeX]
    @misc{vanDoornmalenEiflerGleixnerHojny2023,
  archiveprefix = {arXiv},
  eprint = {2311.03877},
  primaryclass = {math.OC},
  year = {2023},
  author = {van Doornmalen, Jasper and Eifler, Leon and Gleixner, Ambros and Hojny, Christopher},
  title = {A Proof System for Certifying Symmetry and Optimality Reasoning in Integer Programming}
}
  5. Bestuzheva, K., Besançon, M., Chen, W.-K., Chmiela, A., Donkiewicz, T., van Doornmalen, J., Eifler, L., Gaul, O., Gamrath, G., Gleixner, A., Gottwald, L., Graczyk, C., Halbig, K., Hoen, A., Hojny, C., van der Hulst, R., Koch, T., Lübbecke, M., Maher, S. J., … Witzig, J. (2021). The SCIP Optimization Suite 8.0 (ZIB Report No. 21-41). Zuse Institute Berlin. [URL] [code]
    [BibTeX]
    @techreport{BestuzhevaBesanconEtal2021,
  year = {2021},
  institution = {Zuse Institute Berlin},
  type = {ZIB Report},
  month = dec,
  number = {21-41},
  url = {https://nbn-resolving.org/urn:nbn:de:0297-zib-85309},
  author = {Bestuzheva, Ksenia and Besançon, Mathieu and Chen, Wei-Kun and Chmiela, Antonia and Donkiewicz, Tim and van Doornmalen, Jasper and Eifler, Leon and Gaul, Oliver and Gamrath, Gerald and Gleixner, Ambros and Gottwald, Leona and Graczyk, Christoph and Halbig, Katrin and Hoen, Alexander and Hojny, Christopher and van der Hulst, Rolf and Koch, Thorsten and Lübbecke, Marco and Maher, Stephen J. and Matter, Frederic and Mühmer, Erik and Müller, Benjamin and Pfetsch, Marc and Rehfeldt, Daniel and Schlein, Steffan and Schlösser, Franziska and Serrano, Felipe and Shinano, Yuji and Sofranac, Boro and Turner, Mark and Vigerske, Stefan and Wegscheider, Fabian and Wellner, Philipp and Weninger, Dieter and Witzig, Jakob},
  title = {The SCIP Optimization Suite 8.0},
  code = {https://scipopt.org}
}

Conference proceedings

  1. Eifler, L., Witzig, J., and Gleixner, A. (2024). Branch and Cut for Partitioning a Graph Into a Cycle of Clusters. Proceedings of International Symposium on Combinatorial Optimization. [arXiv]
    [BibTeX]
    @inproceedings{EiflerWitzigGleixner2024,
  year = {2024},
  booktitle = {Proceedings of International Symposium on Combinatorial Optimization},
  archiveprefix = {arXiv},
  eprint = {2401.08412},
  primaryclass = {math.OC},
  author = {Eifler, Leon and Witzig, Jakob and Gleixner, Ambros},
  title = {Branch and Cut for Partitioning a Graph Into a Cycle of Clusters}
}

Full articles

  1. Eifler, L., and Gleixner, A. (2024). Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework. SIAM Journal on Optimization, 34(1), 742–763. DOI: 10.1137/23M156046X [URL]
    [BibTeX]
    @article{EiflerGleixner2023_Safeandverified,
  year = {2024},
  journal = {SIAM Journal on Optimization},
  volume = {34},
  number = {1},
  pages = {742-763},
  doi = {10.1137/23M156046X},
  note = {ZIB report 23-09},
  url = {https://nbn-resolving.org/urn:nbn:de:0297-zib-90159},
  author = {Eifler, Leon and Gleixner, Ambros},
  title = {Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework}
}
  2. Bestuzheva, K., Besançon, M., Chen, W.-K., Chmiela, A., Donkiewicz, T., van Doornmalen, J., Eifler, L., Gaul, O., Gamrath, G., Gleixner, A., Gottwald, L., Graczyk, C., Halbig, K., Hoen, A., Hojny, C., van der Hulst, R., Koch, T., Lübbecke, M., Maher, S. J., … Witzig, J. (2023). Enabling Research Through the SCIP Optimization Suite 8.0. ACM Transactions on Mathematical Software. DOI: 10.1145/3585516 [arXiv]
    [BibTeX]
    @article{BestuzhevaBesanconEtal2023,
  year = {2023},
  journal = {ACM Transactions on Mathematical Software},
  doi = {10.1145/3585516},
  archiveprefix = {arXiv},
  eprint = {2303.07101},
  primaryclass = {math.OC},
  author = {Bestuzheva, Ksenia and Besançon, Mathieu and Chen, Wei-Kun and Chmiela, Antonia and Donkiewicz, Tim and van Doornmalen, Jasper and Eifler, Leon and Gaul, Oliver and Gamrath, Gerald and Gleixner, Ambros and Gottwald, Leona and Graczyk, Christoph and Halbig, Katrin and Hoen, Alexander and Hojny, Christopher and van der Hulst, Rolf and Koch, Thorsten and Lübbecke, Marco and Maher, Stephen J. and Matter, Frederic and Mühmer, Erik and Müller, Benjamin and Pfetsch, Marc and Rehfeldt, Daniel and Schlein, Steffan and Schlösser, Franziska and Serrano, Felipe and Shinano, Yuji and Sofranac, Boro and Turner, Mark and Vigerske, Stefan and Wegscheider, Fabian and Wellner, Philipp and Weninger, Dieter and Witzig, Jakob},
  title = {Enabling Research Through the SCIP Optimization Suite 8.0}
}
  3. Eifler, L., and Gleixner, A. (2023). A Computational Status Update for Exact Rational Mixed Integer Programming. Mathematical Programming, 197, 793–812. DOI: 10.1007/s10107-021-01749-5
    [BibTeX]
    @article{EiflerGleixner2023_Acomputational,
  year = {2023},
  journal = {Mathematical Programming},
  volume = {197},
  pages = {793-812},
  doi = {10.1007/s10107-021-01749-5},
  author = {Eifler, Leon and Gleixner, Ambros},
  title = {A Computational Status Update for Exact Rational Mixed Integer Programming}
}
  4. Eifler, L., Gleixner, A., and Pulaj, J. (2022). A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture. ACM Transactions on Mathematical Software, 48(2), 1–12. DOI: 10.1145/3485630
    [BibTeX]
    @article{EiflerGleixnerPulaj2022_Asafecomputational,
  year = {2022},
  journal = {ACM Transactions on Mathematical Software},
  volume = {48},
  number = {2},
  pages = {1-12},
  doi = {10.1145/3485630},
  author = {Eifler, Leon and Gleixner, Ambros and Pulaj, Jonad},
  title = {A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture}
}