Programmation par Contraintes

Consistance d'arc

Propriété garantissant que pour chaque valeur d'une variable, il existe au moins une valeur compatible dans le domaine de chaque variable voisine selon les contraintes binaires.

← Indietro