EasyChair Smart Slide
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation