Preprints

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP
with: Gioni Mexi, Dominik Kamp, Yuji Shinano, Shanwen Pu, Alexander Hoen, Ksenia Bestuzheva, Matthias Walter, Marc E. Pfetsch, Sebastian Pokutta, and Thorsten Koch, 2024

Computational Aspects of Lifted Cover Inequalities for Knapsacks with Few Different Weights
with: Cédric Roy, 2024

Detecting and Handling Reflection Symmetries in Mixed-Integer (Nonlinear) Programming
2024

A proof system for certifying symmetry and optimality reasoning in integer programming
with: Jasper van Doornmalen, Leon Eifler, and Ambros Gleixner, 2023

The Impact of Symmetry Handling for the Stable Set Problem via Schreier-Sims Cuts
with: Marc E. Pfetsch and José Verschae, 2023