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)

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)

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)

A computational status update for exact rational mixed integer programming. - Leon Eifler; Ambros M. Gleixner (Math. Program., 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; et al. (ACM Trans. Math. Softw., 2023)

Branch and Cut for Partitioning a Graph into a Cycle of Clusters. - Leon Eifler; Jakob Witzig; Ambros M. Gleixner (ISCO, 2024)

Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework. - Leon Eifler; Ambros M. Gleixner (SIAM J. Optim., 2024)