Retour arrière dirigé par les dépendances
Définition
En résolution de problèmes, processus qui permet d'éliminer les décisions qui ont conduit à une contradiction.
Voir Retour arrière.
Français
retour arrière dirigé par les dépendances
retour arrière dirigé par des dépendances
Anglais
dependency-directed backtracking
Sources
Contributeurs: Jean Benoît Morel, wiki