Adaptive Constraint Satisfaction