Deductive generation of constraint propagation rules

Electronic Notes in Theoretical Computer Science

Volumn 86, Issue 2, 2003, Pages 45-60

  Brand, Sebastian ^a   Monfroy, Eric ^b  

^a CWI   (Netherlands)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; CONCURRENT ENGINEERING; DATA STRUCTURES; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

CONSTRAINT MODIFICATIONS; CONSTRAINT PROCESSING; LOGIC PROGRAMS; TERM-REWRITING LANGUAGES;

CONSTRAINT THEORY;

EID: 18944404521     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80675-3     Document Type: Conference Paper

References (15)

1. Slim Abdennadher and Thom Frühwirth. Using program analysis for integration and optimization of rule-based constraint solvers. In Proc. of Journées Francophones de Progr. Logique et Progr. par Contraintes, 2002.
2. Slim Abdennadher, Christophe Rigotti. Automatic generation of rule-based solvers for intentionally defined constraints. International Journal on Artificial Intelligence Tools. 11:(2):2002
3. Apt Krzysztof R., Eric Monfroy. Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming. 1:(6):2001
4. Lucas Bordeaux and Eric Monfroy. Beyond NP: Arc-consistency for quantified constraints. In Proc. of Principles and Practice of Constraint Programming, Ithaka, 2002.
5. Sebastian Brand. A note on redundant rules in rule-based constraint programming. In Recent Advances in Constraints, volume 2627 of Lecture Notes in Artifical Intelligence. Springer, 2003.
6. Björn Carlson, Mats Carlsson, and Sverker Janson. The implementation of AKL(FD). In Proc. of International Symposium on Logic Programming, 1995.
7. Yves Caseau, François-Xavier Josset, François Laburthe. CLAIRE: Combining sets, search and rules to better express algorithms. Theory and Practice of Logic Programming. 2:(6):2002
8. Carlos Castro. Building constraint satisfaction problem solvers using rewrite rules and strategies. Fundamenta Informaticae. 34:(3):1998
9. Rina Dechter, van Beek Peter. Local and global relational consistency. Theoretical Computer Science. 173:(1):1997
10. Thom Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming. 1998
11. Claude Kirchner, Christophe Ringeissen. Rule-based constraint programming. Fundamenta Informaticae. 34:(3):1998
12. David A. Randell, Zhan Cui, and Anthony Cohn. A spatial logic based on regions and connection. In Proc. of Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1992.
13. Christophe Ringeissen and Eric Monfroy. Generating propagation rules for finite domains via unification in finite algebras. In New Trends in Constraints, volume 1865 of Lecture Notes in Artifical Intelligence. Springer, 2000.
14. Saraswat Vijay Anand. Concurrent Constraint Programming. 1993;MIT Press
15. Gert Smolka. The Oz programming model. In Computer Science Today, volume 1000 of Lecture Notes in Computer Science. Springer, 1995.