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

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