Global Constraints

@inproceedings{Hoeve2006GlobalC,
  title={Global Constraints},
  author={Willem Jan van Hoeve and Irit Katriel},
  booktitle={Handbook of Constraint Programming},
  year={2006}
}
1 2 CONTENTS A global constraint is a constraint that captures a relation between a non-fixed number of variables. An example is the constraint alldifferent(x 1 ,. .. , x n), which specifies that the values assigned to the variables x 1 ,. .. , x n must be pairwise distinct. Typically, a global constraint is semantically redundant in the sense that the same… CONTINUE READING