Arc and path consistence revisited
Artificial Intelligence
Arc-consistency and arc-consistency again
Artificial Intelligence
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Using constraint metaknowledge to reduce arc consistency computation
Artificial Intelligence
Optimal Distributed Arc-Consistency
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
An efficient arc consistency algorithm for a class of CSP problems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Refining the basic constraint propagation algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Arc-consistency caught many researchs' attention, involving the discovery of a large number of algorithms in the Constraint Satisfaction Problems (CSP) literature. These algorithms can be applied within or before the search of solutions, in order to eliminate inconsistencies and consequently to prune the search space. In this paper, we adopt a distributed approach due to the omnipresence of naturally distributed CSP real applications. So, a new distributed arc-consistency approach is proposed, discussed and illustrated through an example. Correctness, termination properties, complexity computing as well as experimental results are also given.