Partial Constraint Satisfaction
Consistency in Networks of Relations