BACKTRACKING CSP

Depth-first search with constraint propagation. Assigns values to cells and backtracks when conflicts are detected.

MRV HEURISTIC

Minimum Remaining Values — always assigns the cell with the fewest legal options first, reducing branching.

FORWARD CHECKING

After each assignment, prunes the domains of all neighbors. Detects dead-ends early before deeper recursion.