no code implementations • 23 Mar 2022 • Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Symmetry and dominance breaking can be crucial for solving hard combinatorial search and optimisation problems, but the correctness of these techniques sometimes relies on subtle arguments.
