The $\_\_\_\_\_\_\_\_$ approach searches for a candidate solution incrementally, abandoning that option as soon as it determines that the candidate cannot possibly be a valid solution, and then looks for a new candidate.

Backtracking

Dynamic programming

Brutal$-$force

Divide$-$and$-$conquer