Bogaerts, Bart, Stephan Gocht, Ciaran McCreesh, and Jakob Nordström. 2022. “Certified Symmetry and Dominance Breaking for Combinatorial Optimisation”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (4):3698-3707. https://doi.org/10.1609/aaai.v36i4.20283.