Least constraining value
n Given a variable, choose the least
constraining value:
n the one that rules out the fewest values in the
remaining variables
n Combining these heuristics makes 1000
queens feasible