Contraintes globales

L'idée est de traiter globalement toutes les contraintes d'un même type avec un avec un algorithme spécifique en temps polynômial. Afin de comprendre le principe des contraintes globales, nous allons dans cette section nous attacher à en décrire brièvement deux : la contrainte all-diff [10], dans les domaines finis, et la méthode du simplexe [5,7], dans les domaines continus. Il existe d'autres contraintes globales dans les domaines finis. On peut citer les travaux de Beldiceanu [14] sur l'environnement de programmation CHIP, ceux de Carlier et Pinson [8] sur les contraintes cumulatives, ceux de Rueher et Régin [11], sur les combinaisons de contraintes de sommes et de différences, et enfin ceux de Régin[9] sur les containtes de cardinalité.