Browsing Computer Science by Author "Quimper, Claude-Guy"
Now showing items 1-1 of 1
-
Efficient Propagators for Global Constraints
Quimper, Claude-Guy (University of Waterloo, 2006)We study in this thesis three well known global constraints. The All-Different constraint restricts a set of variables to be assigned to distinct values. The <em>global cardinality constraint</em> (GCC) ensures that a ...