- Choose the most constrained variable first.
The most constrained variable (smallest number of possible choices)
gives the smallest branching factor at the top of the tree; a choice
for it will constrain other variables, reducing their branching factors
- Smallest set of remaining possible values
- Largest number of arcs to other nodes
- Choose the least constraining variable value.
A more constraining variable value is more likely to have all failures