Coordination-based distributed constraint solving in DICE

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2003, Pages 360-366

  Zoeteweij, Peter ^a  

^a CWI   (Netherlands)

Author keywords

Component based software; Coordination; Distributed constraint solving; IWIM; Manifold

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; NETWORK PROTOCOLS; PROBLEM SOLVING;

DISTRIBUTED CONSTRAINT ENVIRONMENT (DICE);

COMPUTER PROGRAMMING;

EID: 0038675413     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/952532.952605     Document Type: Conference Paper

References (11)

1. K. R. Apt. The Rough Guide to Constraint Propagation. In J. Jaffar, editor, Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99), volume 1713 of LNCS, pages 1-23. Springer-Verlag, 1999. Invited lecture.
2. F. Arbab. The IWIM Model for Coordination of Concurrent Activities. In Coordination Languages and Models, volume 1061 of LNCS, pages 34-56. Springer-Verlag, 1996.
3. F. Arbab. Manifold version 2: Language reference manual. Technical report, Centrum voor Wiskunde en Informatica, 1997, Available at http://www.cwi.nl/ftp/manifold/refman.ps.Z.
4. F. Arbab and E. Monfroy. Distributed Splitting of Constraint Satisfaction Problems. In Porto and Roman, editors, Coordination Languages and Models, volume 1906 of LNCS, pages 115-132. Springer-Verlag, 2000.
5. E. W. Dijkstra. Shmuel Safra's Version of Termination Detection (note EWD998).
6. L. Ganvilliers, E. Monfroy, and F. Benhamou. Symbolic-Interval Cooperation in Constraint Programming. In Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC'2001, pages 150-166. ACM Press, 2001.
7. E. Monfroy. A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. In Caroll, Damiani, Haddad, and Oppenheim, editors, Proceedings of the 2000 ACM Symposium on Applied Computing, pages 262-269. ACM Press, 2000.
8. E. Monfroy and F. Arbab. Constraints Solving as the Coordination of Inference Engines. In Omicini, Zambonelli, Klusch, and Tolksdorf, editors, Coordination of Internet Agents: Models, Technologies and Applications, pages 399-419. Springer-Verlag, 2001.
9. E. Monfroy and J.-H. Réty. Chaotic Iteration for Distributed Constraint Propagation. In Proceedings of the 1999 ACM Symposium on Applied Computing, pages 19-24. ACM Press, 1999.
10. M. Yokoo. Distributed Constraint Satisfaction: Foundations of Cooperation in Multi-Agent Systems. Springer-Verlag, 2001.
11. P. Zoeteweij. A Coordination-Based Framework for Parallel Constraint Solving. Presented at the ERCIM/CologNet workshop on Constraint Solving and Constraint Logic Programming, Cork, 2002. Available at http://www.cs.ucc.ie/̃osullb/ercim2002.