Basic components for constraint solver cooperations

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2003, Pages 367-374

  Monfroy, Eric ^a   Castro, Carlos ^b  

^a UNIVERSITÉ DE NANTES   (France)

^b DEPARTAMENTO DE FÍSICA   (Chile)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATA FLOW ANALYSIS;

CONSTRAINT SOLVER COOPERATIONS;

PROBLEM SOLVING;

EID: 0038336949     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/952603.952606     Document Type: Conference Paper

References (22)

1. K. R. Apt. The Essence of Constraint Propagation. Theoretical Computer Science, 221(1-2):179-210, 1999. Available via http://arXiv.org/archive/cs/.
2. K. R. Apt. The Role of Commutativity in Constraint Propagation Algorithms. ACM Trans. on Programming Languages and Systems, 22(6):1002-1036, 2000.
3. F. Arbab. The IWIM model for coordination of concurrent activities. In P. Ciancarini and C. Hankin, editors, Proc. of the International Conference Coordination Languages and Models, volume 1061 of LNCS, pages 34-56. Springer-Verlag, 1996.
4. F. Arbab. Manifold.2.0 reference manual. CWI, Amsterdam, The Netherlands, May 1997.
5. F. Arbab and E. Monfroy. Coordination of Heterogeneous Distributed Cooperative Constraint Solving. ACM SIGAPP Applied Computing Review, 6(2):4-17, 1998.
6. H. Beringer and B. De Backer. Combinatorial problem solving in constraint logic programming with cooperative solvers. In Logic programming: formal methods and practical applications, Studies in Computer Science and A.I. Elsevier, 1995.
7. P. Borovansky, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of elan. ENTCS, 15, 1998.
8. C. Castro and E. Monfroy. A Control Language for Designing Constraint Solvers. In Proc. of the 3rd Int. Conf. Perspective of System Informatics, PSI'99, volume 1755 of LNCS, pages 402-415, Novosibirsk, Akademgorodok, Russia, 2000.
9. C. Castro and E. Monfroy. Basic Operators for Solving Constraints via Collaboration of Solvers. In J. A. Campbell and E. Roanes-Lozano, editors, Proc. of the 5th Int. Conf. on Artificial Intelligence and Symbolic Computation (AISC'2000), volume 1930 of LNCS, pages 142-146, Madrid, Spain, 2001. Springer.
10. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, October 1998.
11. D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
12. L. Granvilliers, E. Monfroy, and F. Benhamou. Symbolic-interval cooperation in constraint programming. In Proc. of the 26th Int. Symp. on Symbolic and Algebraic Computation (ISSAC'2001), pages 150-166, London, Ontario, Canada, 2001. ACM Press.
13. P. Hofstedt. Better communication for tighter cooperation. In Proceedings of Computational Logic, London, UK, volume 1861 of Lecture Notes in Artificial Intelligence, pages 342-357. Springer-Verlag, 2000.
14. C. Kirchner and C. Ringeissen. Rule-based constraint programming. Fundamenta informaticae, 33(3):225-262, 1998.
15. A. Kleymenov, D. Petunin, A. Semenov, and I. Vazhev. A model of cooperative solvers for computational problems. Joint Bulletin of NCC and US. Series: Computer Science, 16:115-128, 2001.
16. A. K. Mackworth. Constraint Satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of A.I., volume 1. Addison-Wesley, 1992. 2nd Edition.
17. G. A. Papadopoulos and F. Arbab. Control-Driven Coordination Programming in Shared Dataspace. In Proc. of the 4th Int. Conf. on Parallel Computing Technologies (PaCT-97), volume 1277 of LNCS, pages 247-261, Yaroslavl, Russia, 1997. Springer-Verlag.
18. G.A. Papadopoulos and F. Arbab. Coordination models and languages. In M. Zelkowitz, editor, Advances in Computers - The Engineering of Large Systems, volume 46, pages 329-400. Academic Press, 1998.
19. E. Petrov and E. Monfroy. Automatic analysis of composite solvers. In Proceedings of the 14th International Conference on Tools with Artificial Intelligence, 2002. To appear.
20. C. Ringeissen. Cooperation of decision procedures for the satisfiability problem. In F. Baader and K. Schulz, editors, Frontiers of Combining Systems (FroCoS'96), Applied Logic, pages 121-140. Kluwer Academic Publishers, 1996.
21. M.C. Silaghi, D. Sam-Haroud, and F. B.Faltings. Maintaining hierarchical distributed consistencies. In CP2000 DCS Workshop, Singapore, 2000.
22. P. Zoeteweij. Coordination-based solver cooperation in DICE. In Proceedings of the COSOLV'2002 Workshop on Cooperative Solvers in Constraint Programming (held in conjunction with CP 2002), Ithaca, NY, USA, 2002.