1. Principles of Constraint Programming;Apt,2003
2. An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem;Gent,1996
3. On the complexity of choosing the branching literal in DPLL;Liberatore;Artificial Intelligence,2000
4. Increasing tree search efficiency for constraint satisfaction problems;Haralick;Artificial Intelligence,1980
5. MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems;Bessiere,1996