An environment for designing/executing constraint solver collaborations

Electronic Notes in Theoretical Computer Science

Volumn 16, Issue 1, 1998, Pages 1-22

  Monfroy, Eric ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; MOTIVATION;

AUTOMATED DEDUCTION SYSTEMS; CONSTRAINT CLASS; CONSTRAINT PROGRAMMING; PROBLEM SOLVING SYSTEM;

COMPUTER PROGRAMMING;

EID: 0040341009     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80588-2     Document Type: Conference Paper

References (20)

1. A. Aiba, K. Yokota, and H. Tsuda Heterogeneous Distributed Cooperative Problem Solving System Helios and its Cooperation Mechanisms International Journal of Cooperative Information Systems 4 4 1995 369 385
2. E.H. Durfee, V.R. Lesser, and D.D. Corkill Cooperative distributed problem solving P.R. Cohen E.A. Feigenbaum A. Barr The Handbook of Artificial Intelligence volume IV 1989 Addison-Wesley Pub. Co 83 147
3. J-C. Faugère Résolution des systèmes d'équations algébriques. PhD thesis 1994 Universite Paris 6
4. T. Frühwirth Constraint Handling Rules A. Podelski Constraint Programming: Basics and Trends, volume 910 of Lecture Notes in Computer Science. 1995 Springer Verlag
5. T. Friihwirth, A. Herold, V. Kuechenhoff, T.Le Provost, P. Lim, E. Monfroy, and M. Wallace Constraint logic programming - an informal introduction G. Comyn M. Ratcliffe N. Fuchs Logic programming in action : proceedings LPSS′92, Second international logic programming Summer school, Zurich, Switzerland, volume 636 of LNAI. 1993 Springer Verlag
6. Keith O. Geddes, Gaston H. Gonnet, and Benton L. Leong Maple V: Language reference manual 1991 Springer Verlag New York, Berlin, Paris
7. L. Granvilliers A symbolic-numerical branch and prune algorithm for solving non-linear polynomial systems Journal of Universal Computer Science, Springer 4 1998 125 146
8. K. Homann, and J. Calmet Combining Theorem Proving and Symbolic Mathematical Computing J.A. Campbell J. Calmet Integrating Symbolic Mathematical Computation and Artificial Intelligence (AISMC-2), volume 958 of Lecture Notes in Computer Science 1995 Springer Verlag 18 29
9. J. Jaffar, and M. Maher Constraint Logic Programming: a Survey Journal of Logic Programming 19,20 1994 503 581
10. Joxan Jaffar, and Jean-Louis Lassez Constraint logic programming In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany January 1987 ACM Press 111 119
11. H. Kirchner, and C. Ringeissen Combining symbolic constraint solvers on algebraic domains Journal of Symbolic Computation 18 2 1994 113 155
12. P. Marti, and M. Rueher A Distributed Cooperating Constraints Solving System International Journal on Artificial Intelligence Tools 4 1&2 1995 93 113
13. N. McPhee, S.-C. Chou, and X.-S. Gao Mechanically proving geometry theorems using a combination of wu's method and collins' method Alan Bundy Proceedings of the 12th International Conference on Automated Deduction CADE-12, LNAI 1984 401 415
14. E. Monfroy Collaboration de solveurs pour la programmation logique à contraintes. PhD Thesis November 1996 Université Henri Poincaré-Nancy I (also available in english
15. E. Monfroy, M. Rusinowitch, and R. Schott Implementing Non-Linear Constraints with Cooperative Solvers In Proc. of SAC′96 February 1996 63 72
16. C.G. Nelson, and D.C. Oppen Simplifications by cooperating decision procedures ACM Transactions on Programming Languages and Systems 1 2 1979
17. C. Ringeissen Cooperation of decision procedures for the satisfiability problem In Frontiers of Combining Systems, Applied Logic 1996 Kluwer Academic Publishers
18. V. Saraswat Concurrent Constraint Programming 1993 MIT Press Cambridge, London
19. G. Winskel The formal semantics of programming languages 1993 MIT Press Cambridge, London
20. M. Yokoo, H. Durfee, T. Ishida, and K. Kuwabara Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving In In Proceedings of the Twelfth IEEE International Conference on Distributed Computing Systems June 1992 614 621