Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordstrm

Browse the full AAAI paper archive.