TY  - RPRT
TI  - A proof system for certifying symmetry and optimality reasoning in integer programming
AU  - Jasper van Doornmalen
AU  - Leon Eifler
AU  - Ambros Gleixner
AU  - Christopher Hojny
PY  - 2023
UR  - https://arxiv.org/abs/2311.03877
ID  - 2311.03877
ER  -