约束编程

Consistance d'Arc

Propriété d'un graphe de contraintes où pour chaque valeur d'une variable, il existe au moins une valeur compatible dans le domaine de la variable voisine. C'est une technique de filtrage fondamentale en programmation par contraintes.

← 返回