« Retour arrière dirigé par les dépendances » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 13 : | Ligne 13 : | ||
==Sources== | |||
Dernière version du 28 janvier 2024 à 12:02
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
