Using confluence to generate rule-based constraint solvers

Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn , Issue , 2001, Pages 127-135

  Abdennadher, Slim ^a   Rigotti, Christophe ^b  

^a Institute for Computer Science   (Germany)

^b UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; PROBLEM SOLVING;

CONSTRAINT HANDLING RULES (CHR);

LOGIC PROGRAMMING;

EID: 0035790030     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/773184.773198     Document Type: Conference Paper

References (10)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Third International Conference on Principles and Practice of Constraint Programming, CP'97, LNCS 1330. Springer-Verlag, Nov. 1997.
2. S. Abdennadher, T. Frühwirth, and H. Meuss. Confluence and semantics of constraint simplification rules. Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming, 4(2), May 1999.
3. S. Abdennadher and C. Rigotti. Automatic generation of propagation rules for finite domains. In 6th International Conference on Principles and Practice of Constraint Programming, CP00, LNCS 1894. Springer-Verlag, 2000.
4. K. Apt and E. Monfroy. Automatic generation of constraint propagation algorithms for small finite domains. In 5th International Conference on Principles and Practice of Constraint Programming, CP'99, LNCS 1713. Springer-Verlag, 1999.
5. Y. Caseau and F. Laburthe. Claire: Combining objects and rules for problem solving. In JICSLP'96 workshop on multi-paradigm logic programming, 1996.
6. T. Frühwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, 37(1-3):95-138, October 1998.
7. T. Frühwirth. Proving termination of constraint solver programs. In New Trends in Constraints. LNAI 1865, 2000.
8. C. Kirchner, H. Kirchner, and M. Vittek. Implementing computational systems with constraints. In Proceedings of the First Workshop on Principles and Practice of Constraints Programming. MIT Press, Apr. 1993.
9. C. Ringeissen and E. Monfroy. Generating propagation rules for finite domains via unification in finite algebra. In ERCIM Working Group on Constraints / CompulogNet Area on Constraint Programming Workshop, 1999.
10. P. van Hentenryck, H. Simonis, and M. Dincbas. Constraint satisfaction using constraint logic programming. Artificial Intelligence, 58(1-3), Dec. 1992.