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