Certified Symmetry and Dominance Breaking for Combinatorial Optimisation