Propagation de Contraintes

Un processus en résolution de contraintes où des règles d'inférence locales sont appliquées aux contraintes pour réduire itérativement les domaines des variables en éliminant les valeurs qui ne peuvent pas participer à une solution sous les contraintes actuelles, souvent en prétraitement ou pendant la recherche pour élaguer l'espace de recherche.

Le processus itératif d'application des contraintes dans un réseau de contraintes pour réduire les domaines des variables en éliminant les valeurs qui ne peuvent participer à aucune solution, souvent mis en œuvre via la consistance d'arcs, le contrôle avancé ou des algorithmes de consistance généralisée.