Browsing Theses by Subject "GCC"
Now showing items 1-1 of 1
-
Efficient Propagators for Global Constraints
(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 ...