7 min readSearch and Games
Constraint Satisfaction and Propagation
What changes when you describe a problem as variables, domains and constraints instead of as a black box: commutativity that shrinks the tree for free, propagation that proves branches hopeless before searching them, and a measurement showing the most famous ordering heuristic does nothing on its own.
Artificial IntelligenceSearch & Planning