Maintaining Hierarchical Distributed Consistency

  title={Maintaining Hierarchical Distributed Consistency},
  author={Marius Călin Silaghi and Djamila Sam-Haroud and Boi Faltings},
Recent work on bringing classical CSP techniques to distrib uted environments has focused either on backtrack search or on lo cal consistency. We consider the “natural” issue of combining t he two techniques. A new distributed algorithm, called MHDC (Main taining Hierarchical Distributed Consistency), is presen ted which incorporates distributed consistency into asynchronous b acktracking. One of its main characteristics is to consider consiste ncy maintenance as a hierarchical task. Enforcing… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
17 Extracted Citations
13 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 17 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 13 references

Fractio nnement intelligent de domaine pour CSPs avec domaines ordonnés

  • M.-C. Silaghi, D. Sam-Haroud, B. Faltings
  • InProc. of RFIA2000,
  • 2000
3 Excerpts

Synchronous Java with Priorities

  • M.-C. Silaghi
  • ̃silaghi/sJavap,
  • 2000
1 Excerpt

Combinational equivalence checki ng using satisability and recursive learning

  • J.Silva, T.Glass
  • In Proceedings of the ACM/IEEE Design, Automation…
  • 1999

Similar Papers

Loading similar papers…