A control language for designing constraint solvers

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

Volumn 1755, Issue , 2000, Pages 402-415

  Castro, Carlos ^a   Monfroy, Eric ^b  

^a LORIA   (France)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

CONSTRAINT SOLVERS; FINITE DOMAINS; NON-LINEAR CONSTRAINTS; REAL NUMBER; SINGLE CONSTRAINT; STRATEGY LANGUAGES;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84943259826     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46562-6_36     Document Type: Conference Paper

References (18)

1. K. R. Apt. The Essence of Constraint Propagation. Theoretical Computer Science, 221(1-2):179-210, 1999.
2. F. Arbab and E. Monfroy. Heterogeneous distributed cooperative constraint solving using coordination. ACM Applied Computing Review, 6:4-17, 1999.
3. H. Beringer and B. DeBacker. Combinatorial Problem Solving in Constraint Logic Programming with Cooperative Solvers. In C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. North Holland, 1995.
4. C. Bessiffere and J.-C. Rffegin. An arc-consistency algorithm optimal in the number of constraint checks. In Proceedings of the Workshop on Constraint Processing, ECAI'94, pages 9-16, Amsterdam, The Netherlands, 1994.
5. C. Castro. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae, 34(3):263-293, June 1998.
6. C. Castro. COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. In J. Calmet and J. Plaza, editors, Proc. of AISC'98, volume 1476 of LNCS, pages 107-119, Plattsburgh, NY, USA, September 1998.
7. L. Granvilliers. Consistances locales et transformations symboliques de contraintes d'intervalles. Phd thesis, University of Orlans, France, 1998. In French.
8. A. K. Mackworth. Constraint Satisfaction. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence, volume 1. Addison-Wesley Publishing Company, 1992.
9. P. Marti and M. Rueher. A Distributed Cooperating Constraints Solving System. International Journal of Artificial Intelligence Tools, 4(1-2):93-113, 1995.
10. R. Mohr and T. C. Henderson. Arc and Path Consistency Revisited. Artificial Intelligence, 28:225-233, 1986.
11. E. Monfroy. Collaboration de solveurs pour la programmation logique fia con-traintes. Thffese de Doctorat d'Universitffe, Universitffe Henri Poincarffe-Nancy 1, France, November 1996. Also available in english. Available on-line at: http://www. cwi. nl/~eric/Private/Publications/index. html.
12. E. Monfroy. An environment for designing/executing constraint solver collaborations. ENTCS, 16(1), 1998.
13. E. Monfroy. The Constraint Solver Collaboration Language of BALI. In Proc. Of FroCoS'98, Amsterdam, The Netherlands, 1998. To appear in Logic and Computation Series, Research Studies Press Ltd.
14. E. Monfroy, M. Rusinowitch, and R. Schott. Implementing Non-Linear Constraints with Cooperative Solvers. In Proc. of ACM SAC'96, pages 63-72, Philadelphia, PA, USA, 1996. ACM Press.
15. G. Nelson and D. C. Oppen. Simplifications by Cooperating Decision Procedures. ACM Transactions on Programming Languages and Systems, 1(2):245-257, 1979.
16. C. Ringeissen. Cooperation of decision procedures for the satisfiability problem. In F. Baader and K. Schulz, editors, Proc. of FroCoS'96, pages 121-139. Kluwer Academic Publishers, 1996.
17. G. Smolka. Problem Solving with Constraints and Programming. ACM Computing Surveys, 28(4es), December 1996. Electronic Section.
18. P. Van Hentenryck, D. McAllester, and D. Kapur. Solving polynomial systems using a branch and prune approach. SIAM Journ. on Num. Analysis, 34(2), 1997.