Recherche par Retour Arrière

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un mécanisme de recherche en arbre qui affecte récursivement des valeurs à des variables décisionnelles, propage les conséquences et annule (retourne) des affectations lorsqu'une contradiction ou une impasse est atteinte afin d'explorer systématiquement des affectations alternatives.