CSP Search Tree Shape

• CSP search space is naturally

  • Tree
  • depth = # vars
  • breadth = # vars, # vars - 1, ... , 1, 0

• DFS pruning rule #1: consistent assignment

• Want to find inconsistencies early as possible!

  • not all inconsistencies are overt
  • want to find consistent soln early too