 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
• |
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
|
|