Backtracking-Suche

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Baumsuchmechanismus, der Entscheidungsvariablen rekursiv Werte zuweist, Konsequenzen propagiert und Zuweisungen zurücknimmt (Backtracking), wenn ein Widerspruch oder eine Sackgasse erreicht wird, um systematisch alternative Belegungen zu erkunden.