Reducing Search
Variable/value ordering:
Prefer more constrained variables:
Instantiate (assign) the variable with the fewest
possible remaining alternatives
Prefer more constraining variables:
Instantiate the variable which is in the most constraint
subsets.
Identify and instantiate a stable set of variables
(no direct constraints between pairs) last