An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems