Issues with Backtracking (DFS)
Approaches to CSPs
Large number of variables
Large variable domains
Computational cost of evaluating
constraints
Must search entire tree to prove that
constraints cannot be satisfied