"constraint satisfaction problems"

Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems