Tree Search and Arc Consistency in Constraint-Satisfaction Algorithms (1988)

by B Nadel
Venue:In Search in Artificial Intelligence