Certified Dominance and Symmetry Breaking for Combinatorial Optimisation. - Bogaerts, Bart; Gocht, Stephan; McCreesh, Ciaran; Nordström, Jakob (Journal of Artificial Intelligence Research, 2023)