Reoptimization in Branch-and-Bound Algorithms with an Application to Elevator Control. - Benjamin Hiller; Torsten Klug; Jakob Witzig (SEA, 2013)

Reoptimization Techniques for MIP Solvers. - Gerald Gamrath; Benjamin Hiller; Jakob Witzig (SEA, 2015)

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)

Experiments with Conflict Analysis in Mixed Integer Programming. - Jakob Witzig; Timo Berthold; Stefan Heinz 001 (CPAIOR, 2017)

Structure-Based Decomposition for Pattern-Detection for Railway Timetables. - Stanley Schade; Thomas Schlechte; Jakob Witzig (OR, 2017)

Adaptive Algorithmic Behavior for Solving Mixed Integer Programs Using Bandit Algorithms. - Gregor Hendel; Matthias Miltenberger; Jakob Witzig (OR, 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)

Local Rapid Learning for Integer Programs. - Timo Berthold; Peter J. Stuckey; Jakob Witzig (CPAIOR, 2019)

A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming. - Jakob Witzig; Timo Berthold; Stefan Heinz 001 (CPAIOR, 2019)

Conflict-Free Learning for Mixed Integer Programming. - Jakob Witzig; Timo Berthold (CPAIOR, 2020)

Conflict Analysis for MINLP. - Timo Berthold; Jakob Witzig (INFORMS J. Comput., 2021)

Conflict-Driven Heuristics for Mixed Integer Programming. - Jakob Witzig; Ambros M. Gleixner (INFORMS J. Comput., 2021)

Computational aspects of infeasibility analysis in mixed integer programming. - Jakob Witzig; Timo Berthold; Stefan Heinz 001 (Math. Program. Comput., 2021)

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)

A diving heuristic for mixed-integer problems with unbounded semi-continuous variables. - Katrin Halbig; Alexander Hoen; Ambros M. Gleixner; Jakob Witzig; Dieter Weninger (EURO J. Comput. Optim., 2025)