Distributed Constraint Satisfaction Problem