Retour arrière dirigé par les dépendances
en construction
Définition
En résolution de problèmes, processus qui permet d'éliminer les décisions qui ont conduit à une contradiction.
Français
retour arrière commandé par dépendance
retour arrière dirigé par les dépendances
retour arrière dirigé par des dépendances
RADD
Ces termes ne sont pas en usage.
Anglais
dependency-directed backtracking
Contributeurs: Jean Benoît Morel, wiki