Après un rapide survol des notions de base de la programmation par
contraintes, nous présenterons le concept de contrainte globale,
central en programmation par contraintes. Il existe plus de 300
contraintes globales, mais nous montrerons que pour beaucoup d'entre
elles, raisonner sur une décomposition en contraintes primitives est
suffisant. Il existe cependant certaines contraintes globales qui
expriment une propriété non décomposable. La programmation par
contraintes ne peut donc pas se passer de ces contraintes sans
dommages. Cela implique aussi que pour les problèmes contenant de
telles contraintes, aucun codage SAT (càd. en forme normale
conjonctive) ne peut s'y substituer sans engendrer un surcoût
exponentiel.