Colette, prototyping csp solvers using a rule-Based language

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

Volumn 1476, Issue , 1998, Pages 107-119

  Castro, Carlos ^a  

^a LORIA   (France)

Author keywords

Constraint satisfaction problems; Rewriting logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; CONSTRAINED OPTIMIZATION; LOGIC PROGRAMMING;

COMPUTATION PROCESS; CONSTRAINT HANDLING; CONSTRAINT SOLVING; FLEXIBLE STRATEGIES; REWRITING LOGIC; RULE-BASED LANGUAGE; THEORETICAL FRAMEWORK; TRANSFORMATION RULES;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84874272493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055906     Document Type: Conference Paper

References (19)

1. ILOG Solver 4.0, User's Manual, May 1997.
2. K. R. Apt. A Proof Theoretic View of Constraint Programming Fundamenta Informaticae, 1998. To appear.
3. P. Borovanský, C. Kirchner, and H. Kirchner. Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language. In Proceedings of The International Workshop on Theory and Practice of Algebraic Specifications, ASF+SDF'97, Workshops in Computing, Amsterdam, September 1997. Springer-Verlag.
4. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN Version 3.00 User Manual. CRIN & INRIA Lorraine, Nancy, France, first edition, January 1998.
5. M. Bruynooghe. Solving Combinatorial Search Problems by Intelligent Backtracking. Information Processing Letters, 12(1):36-39, 1981.
6. C. Castro. Solving Binary CSP Using Computational Systems. In J. Meseguer, editor, Proceedings of The First International Workshop on Rewriting Logic and its Applications, RWLW'96, volume 4, pages 245-264, Asilomar, Pacific Grove, CA, USA, September 1996. Electronic Notes in Theoretical Computer Science.
7. C. Castro. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae, 1998. To appear.
8. T. Friihwirth. Constraint Handling Rules. In A. Podelski, editor, Constraint Programming: Basic and Trends. Selected Papers of the 22nd Spring School in Theoretical Computer Sciences, volume 910 of Lecture Notes in Computer Science, pages 90-107. Springer-Verlag, Chatillon-sur-Seine, France, May 1994.
9. J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19(20):503-581, 1994.
10. C. Kirchner, H. Kirchner, and M. Vittek. Designing Constraint Logic Programming Languages using Computational Systems. In P. V. Hentenryck and V. Saraswat, editors, Principles and Practice of Constraint Programming. The Newport Papers, pages 131-158. The MIT press, 1995.
11. A. K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8:99-118, 1977.
12. A. K. Mackworth. Constraint Satisfaction. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence, volume 1. Addison-Wesley Publishing Company, 1992. Second Edition.
13. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
14. E. Monfroy. Collaboration de solveurs pour la programmation logique a contraintes. PhD thesis, Universite Henri Poincare - Nancy 1, November 1996. Also available in english.
15. P.-E. Moreau and H. Kirchner. Compilation Techniques for Associative- Commutative Normalisation. In Proceedings of The International Workshop on Theory and Practice of Algebraic Specifications, ASF+SDF'97, Amsterdam, September 1997. Technical report CRIN 97-R-129.
16. P. Prosser. Domain filtering can degrade intelligent backtracking search. In Proceedings of The 13th International Joint Conference on Artificial Intelligence, IJ-CAI'93, Chambery, France, pages 262-267, August 29 - September 3 1993.
17. G. Smolka. Problem Solving with Constraints and Programming. ACM Computing Surveys, 28(4es), December 1996. Electronic Section.
18. E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
19. J. Zhou. Calcul de plus petits produits cartésiens d'intervalles: application au probléme d'ordonnancement d'atelier. PhD thesis, Universite de la Mediterranée, Aix-Marseille II, March 1997.