Holzbaur, C. and T. Fruhwirth, Compiling Constraint Handling Rules into Prolog with Attributed Variables, in: G. Nadathur, editor, Proceedings of the International Conference on Principles and Practice of Declarative Programming, number 1702 in LNCS (1999), pp. 117--133. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Implication Checking for CHR Constraints - Schrijvers, Demoen, Duck.. (2005) Self-citation (Fruhwirth) (Correct)
No context found.
Holzbaur, C. and T. Fruhwirth, Compiling Constraint Handling Rules into Prolog with Attributed Variables, in: G. Nadathur, editor, Proceedings of the International Conference on Principles and Practice of Declarative Programming, number 1702 in LNCS (1999), pp. 117--133.
Extending Arbitrary Solvers with Constraint Handling Rules - Duck, Stuckey, Banda, al. (2003) (2 citations) Self-citation (Holzbaur) (Correct)
No context found.
C. Holzbaur and T. Fruhwirth. Compiling constraint handling rules into Prolog with attributed variables. In Gopalan Nadathur, editor, Proceedings of the International Conference on Principles and Practice of Declarative Programming, number 1702 in LNCS, pages 117--133. Springer-Verlag, 1999.
Extending Arbitrary Solvers with Constraint Handling Rules - Duck, Stuckey, Banda, al. (2003) (2 citations) Self-citation (Holzbaur) (Correct)
No context found.
C. Holzbaur and T. Fruhwirth. Compiling constraint handling rules into Prolog with attributed variables. In Gopalan Nadathur, editor, Proceedings of the International Conference on Principles and Practice of Declarative Programming, number 1702 in LNCS, pages 117--133. Springer-Verlag, 1999.
The Computational Power and Complexity of Constraint.. - Sneyers, Schrijvers.. (Correct)
No context found.
Christian Holzbaur and Thom Fruhwirth. Compiling constraint handling rules into Prolog with attributed variables. In Gopalan Nadathur, editor, Proceedings of the Intl. Conference on Principles and Practice of Declarative Programming, volume 1702 of Lecture Notes in Computer Science, pages 117--133. Springer Verlag, 1999.
Programming Finite-Domain Constraint Propagators in Action Rules - Zhou (2002) (Correct)
No context found.
Holzbaur, C., and Fruhwirth, T. Compiling constraint handling rules into Prolog with attributed variables. In International Conference on Principles and Practice of Declarative Programming (1999), ACM Press, pp. 117-- 133.
An Implementation of CHR in Java - Schmauß (1999) (Correct)
No context found.
Christian Holzbaur and Thom Fruhwirth, Compiling Constraint Handling Rules into Prolog with Attributed Variables, International Conference on Principles and Practice of Declarative Programming (PPDP'99), Paris, France, September/October 1999. Internet: http://www.pst.informatik.unimuenchen. de/personen/fruehwir/Papers/ppdp99.ps.gz.
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