Backtracking Search

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A tree-search mechanism that recursively assigns values to decision variables, propagates consequences, and reverts (backtracks) assignments when a contradiction or dead end is reached to systematically explore alternative assignments.