B. Bogaerts, S. Gocht, C. McCreesh, and J. Nordström, “Certified Symmetry and Dominance Breaking for Combinatorial Optimisation”, AAAI, vol. 36, no. 4, pp. 3698-3707, Jun. 2022.