Foundations of Artificial Intelligence, Vol. 2, Suppl. (C), 2006

ISSN: 1574-6526

doi: 10.1016/S1574-6526(06)80010-6

Chapter 6 Global Constraints

Willem-Jan van Hoeve, Irit Katriel

A global constraint is a constraint that captures a relation between a non-fixed number of variables. An example is the constraint alldifferent(x1, …, xn), which specifies that the values assigned to the variables x1, …, xn must be pairwise distinct. Typically, a global constraint is semantically redundant in the sense that the same relation can be expressed as the conjunction of several simpler constraints. Having shorthands for frequently recurring patterns clearly simplifies the programming task. What may be less obvious is that global constraints also facilitate ...

Get Handbook of Constraint Programming now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.