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.
no code implementations • 29 Mar 2018 • Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
As multicore computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it.