GCC-Like Restrictions on the Same Constraint

The Sameconstraint takes two sets of variables X and Z such that jXj= jZj and assigns values to them such that the multiset of values as signed to the variables inX is equal to the multiset of values assigned to the variables i n Z. In this paper we extend the Sameconstraint in a GCC-like manner by adding cardinality requirements on the values. That is, for… CONTINUE READING