2005
DOI: 10.1007/s10462-005-9003-9
|View full text |Cite
|
Sign up to set email alerts
|

An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems

Abstract: This paper presents the new DDAC4 algorithm for dynamic arc consistency enforcement in distributed constraint satisfaction problems (CSP). The algorithm is an adaptation of the well-known AC-4 algorithm to system settings where constraints can be added and deleted in concurrent processes. It is the first algorithm for arc-consistency enforcement in this system setting. Arc-consistency is achieved whenever the overall system reaches quiescence after a constraint is added or deleted.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2018
2018
2024
2024

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 8 publications
0
1
0
Order By: Relevance
“…The same communication scheme is also used in the DisAC-9 algorithm (Hamadi, 2002b) which is optimal in message passing operations (O(n 2 d)). Other arc consistency algorithms for the CSP were introduced later such as (Silaghi and Faltings, 2005) for search with asynchronous aggregation and (Ringwelski, 2005) for consistency in dynamic CSPs.…”
Section: Algorithms For Distributed Constraint Satisfaction Problemsmentioning
confidence: 99%
“…The same communication scheme is also used in the DisAC-9 algorithm (Hamadi, 2002b) which is optimal in message passing operations (O(n 2 d)). Other arc consistency algorithms for the CSP were introduced later such as (Silaghi and Faltings, 2005) for search with asynchronous aggregation and (Ringwelski, 2005) for consistency in dynamic CSPs.…”
Section: Algorithms For Distributed Constraint Satisfaction Problemsmentioning
confidence: 99%