Distributed Algorithm

A new distributed algorithm for efficient generalized arc-consistency propagation

Generalized arc-consistency propagation is predominantly used in constraint solvers to efficiently prune the search space when solving constraint satisfaction problems. Although many practical applications can be modelled as distributed constraint …

A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints

The class of CRC constraints generalizes several tractable classes of constraints and is expressive enough to model problems in domains such as temporal reasoning, geometric reasoning, and scene labelling. This paper presents the first distributed …