Leon Eifler

researcher at ZIB
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. 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. The SCIP Optimization Suite 8.0. [URL] [code]
    [BibTeX]
    @misc{BestuzhevaBesanconEtal2021,
  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}
}
  2. Eifler, L., and Gleixner, A. Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework. [URL]
    [BibTeX]
    @misc{EiflerGleixner2023_Safeandverified,
  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}
}

Full articles

  1. 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}
}
  2. 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 [URL]
    [BibTeX]
    @article{EiflerGleixner2023_Acomputational,
  year = {2023},
  journal = {Mathematical Programming},
  volume = {197},
  pages = {793-812},
  doi = {10.1007/s10107-021-01749-5},
  url = {https://link.springer.com/article/10.1007/s10107-021-01749-5},
  author = {Eifler, Leon and Gleixner, Ambros},
  title = {A Computational Status Update for Exact Rational Mixed Integer Programming}
}
  3. 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}
}