no code implementations • 7 Aug 2020 • Esra Erdem, Muge Fidan, David Manlove, Patrick Prosser
For that reason, there are also variations of SR that try to find a good-enough solution (e. g., Almost SR).
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.
no code implementations • 1 Aug 2013 • Chris Unsworth, Patrick Prosser
We present an n-ary constraint for the stable marriage problem.