Propagation de contraintes
Définition
La propagation de contraintes est le processus de communication de la réduction de domaine d'une variable de décision à toutes les contraintes qui sont énoncées sur cette variable. Ce processus peut entraîner davantage de réductions de domaine. Ces réductions de domaine, à leur tour, sont communiquées aux contraintes appropriées.
Ce processus se poursuit jusqu'à ce que plus aucun domaine variable ne puisse être réduit ou lorsqu'un domaine devient vide et qu'une défaillance se produit. Un domaine vide lors de la propagation de la contrainte initiale signifie que le modèle n'a pas de solution.
Français
Propagation de contraintes
Anglais
Constraint propagation
Sources
Contributeurs: Imane Meziani, wiki
