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.
no code implementations • 15 Jan 2014 • Neil C. A. Moore, Patrick Prosser
This inspires a constraint programming encoding for rooted trees.