Distributed Forward Checking

A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, we present the Distributed Forward Checking algorithm, a natural successor of Asynchronous Backtracking, where some privacy is achieved on agent values. Regarding constraints, we introduce the Partially Known Constraints model, which allow a constraint between two agents to be not completely known by any of them. With these elements, we obtain new solving algorithms that enforce privacy and maintain completeness. Empirical results are provided.

• Type: Conference
• Year: 2003
• Where: CP
• Authors: Ismel Brito, Pedro Meseguer
• Keywords: Asynchronous Backtracking, Constraint Satisfaction, Constraints Model, CP 2003, Programming Languages