Heuristics
As usual we need efficient variable ordering heuristics
One is very important, like unit propagation in SAT:
- If any CD is of size 1
- we must set that variable to the remaining value
More generally, a common heuristic is “minimum remaining value”
- I.e. choose variable with smallest size CD
- motivated by most constrained first, or also some theoretical considerations.