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

Brutal$-$force

Dynamic progrananding

Backtracking

Divide$-$and$-$conqure