O'Reilly logo

Handbook of Constraint Programming by Toby Walsh, Peter van Beek, Francesca Rossi

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required