Retour arrière dirigé par les dépendances
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
dependency-directed backtracking
a kind of search in which the action taken when a failure (e.g. a contradiction) is reached is to use dependency information to modify one of the decisions that led to the failure, as opposed to chronological backtracking (modifying the last decision).
Contributeurs: Jean Benoît Morel, wiki