Dynamic variable ordering
In the N-queens examples we assumed
- First x1 then x2 then ...
But this order not required
- Any order ok with respect to completeness
- A good order leads to huge speedup
A good heuristic:
- Choose variable w/ minimum remaining values
- This is easy if one is doing FC