Chronological Backtracking (BT)(e.g., depth first search)

Consistency check performed in the order

in which vars were instantiated

If c-check fails, try next value of current var

If no more values, backtrack to most recent var

Chronological Backtracking (BT) (e.g., depth first search)