Backtracking is depth-first search over choices: choose, explore, unchoose. Abandoning a partial solution as soon as it breaks a rule is called pruning, and it is what makes the search affordable.