A coordination-based framework for distributed constraint solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2627, Issue , 2003, Pages 171-184

  Zoeteweij, Peter ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FORESTRY; SOFTWARE ENGINEERING; ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; PROBLEM SOLVING; SEARCH ENGINES;

CONSTRAINT PROGRAMMING; COORDINATION LANGUAGE; COORDINATION PROTOCOLS; DISTRIBUTED CONSTRAINT SOLVING; DISTRIBUTED CONSTRAINTS; SEARCH STRATEGIES; SOFTWARE COMPONENT; SPLITTING STRATEGIES;

LOGIC PROGRAMMING; CONSTRAINT THEORY;

CONSTRAINT PROGRAMMING; COORDINATION PROTOCOL; SEARCH TREES; SOFTWARE COMPONENTS;

EID: 7044274040     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36607-5_13     Document Type: Conference Paper

References (12)

1. K.R. Apt. The Rough Guide to Constraint Propagation. In J. Jaffar (ed.) Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP’99), LNCS 1713, pp. 1–23, Springer-Verlag, 1999.
2. K.R. Apt, E. Monfroy. Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. In J. Jaffar (ed.) Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP’99), LNCS 1713, pp. 58–72, Springer-Verlag, 1999.
3. F. Arbab, E. Monfroy. Distributed Splitting of Constraint Satisfaction Problems. In Porto, Roman (eds.) Coordination Languages and Models, LNCS 1906, pp. 115–132, Springer-Verlag, 2000.
4. F. Arbab. The IWIM Model for Coordination of Concurrent Activities. In Ciancarini, Hankin (eds.) Coordination Languages and Models, LNCS 1061, pp. 34–56, Springer-Verlag, April 1996.
5. F. Arbab. Manifold version 2: Language reference manual, Technical report, Centrum voor Wiskunde en Informatica. Available on-line http://www.cwi.nl/ftp/manifold/refman.ps.Z.
6. E.W. Dijkstra. Shmuel Safra’s Version of Termination Detection (Note EWD998).
7. F. Goualard. JAIL – Just Another Interval Library, Manual rev. 0.0.9, Institut de Recherche en Informatique de Nantes, January 2002.
8. M. Henz, T. Müller, K.B. Ng. Figaro: Yet Another Constraint Programming Library. In Proceedings of the Workshop on Parallelism and Implementation Technology for Constraint Logic Programming, held in conjunction with ICLP’99.
9. P. Hofstedt. Better Communication for Tighter Cooperation. In Lloyd et al. (eds.) Proceedings of the 1st International Conference on Computational Logic (CL 2000), LNAI 1861, pp. 342–357, Springer-Verlag, 2000.
10. E. Monfroy. A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. In Carroll, Damiani, Haddad, Oppenheim (eds.) Proceedings of the 2000 ACM Symposium on Applied Computing, pp. 262–269, ACM Press.
11. E. Monfroy, F. Arbab. Constraints Solving as the Coordination of Inference Engines. In Omicini, Zambonelli, Klusch, Tolksdorf (eds.) Coordination of Internet Agents: Models, Technologies and Applications, Springer-Verlag, 2001.
12. M. Yokoo. Distributed Constraint Satisfaction: Foundations of Cooperation in Multi-Agent Systems, Springer-Verlag, 2001.