Duck, G. J., P. J. Stuckey, M. Garcia de la Banda and C. Holzbaur, Extending Arbitrary Solvers with Constraint Handling Rules, in: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 79--90. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Implication Checking for CHR Constraints - Schrijvers, Demoen, Duck.. (2005) Self-citation (Duck Stuckey) (Correct)
No context found.
Duck, G. J., P. J. Stuckey, M. Garcia de la Banda and C. Holzbaur, Extending Arbitrary Solvers with Constraint Handling Rules, in: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 79--90.
Guard and Continuation Optimization for Occurrence.. - Sneyers, Schrijvers.. (2005) (Correct)
No context found.
Gregory Duck, Peter Stuckey, Mara Garca de la Banda, and Christian Holzbaur. Extending Arbitrary Solvers with Constraint Handling Rules. In D. Miller, editor, Proceedings of the 5th International Conference on Principles and Practice of Declarative Programming (PPDP'03). ACM Press, 2003.
Guard Simplification in CHR programs - Sneyers, Schrijvers, Demoen (2004) (Correct)
No context found.
Gregory J. Duck, Peter J. Stuckey, Mara Garca de la Banda, and Christian Holzbaur. Extending Arbitrary Solvers with Constraint Handling Rules. In D. Miller, editor, Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. ACM Press, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC