Preprints
Detecting and Handling Reflection Symmetries in Mixed-Integer (Nonlinear) Programming2024
Verifying message-passing neural networks via topology-based bounds tightening
with: Shiqiang Zhang, Juan S. Campos, and Ruth Misener, 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
A unified framework for symmetry handling
with: Jasper van Doornmalen, 2022