Distributed Constraint Satisfaction

Invited Talk by Boi Faltings


Constraint Satisfaction has been applied with great success to many areas including model checking. Distributed constraint satisfaction addresses a multi-agent setting where the problem is distributed in a network of communicating agents. I review various synchronous and asynchronous distributed algorithms for solving such problems, and speculate on their applicability to model checking.