TY  - RPRT
TI  - Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
AU  - Bart Bogaerts
AU  - Stephan Gocht
AU  - Ciaran McCreesh
AU  - Jakob Nordström
PY  - 2023
DO  - 10.1613/jair.1.14296
UR  - https://arxiv.org/abs/2203.12275
ID  - 2203.12275
ER  -