Bogaerts B, Gocht S, McCreesh C, Nordström J. Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. AAAI [Internet]. 2022Jun.28 [cited 2024Aug.16];36(4):3698-707. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/20283