Bogaerts, B.; Gocht, S.; McCreesh, C.; Nordström, J. Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. AAAI 2022, 36, 3698-3707.