Most Constrained Variable: choose the variable with the fewest legal values. “Minimum Remaining Values (MRV) heuristic”