Building constraint solvers with HAL

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

Volumn 2237, Issue , 2001, Pages 90-104

  De La Banda, Marìa Garcìa ^a   Jeffery, David ^a   Marriott, Kim ^a   Nethercote, Nicholas ^b   Stuckey, Peter J ^b   Holzbaur, Christian ^c  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSITY OF MELBOURNE   (Australia)

^c UNIVERSITY OF VIENNA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; CONSTRAINT THEORY; PROBLEM ORIENTED LANGUAGES;

CONSTRAINT HANDLING RULES; CONSTRAINT LOGIC PROGRAMMING LANGUAGES; CONSTRAINT PROBLEMS; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVERS; DYNAMIC SCHEDULING; PLUG AND PLAY; REAL-LIFE PROBLEMS;

LOGIC PROGRAMMING;

EID: 69749125380     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45635-x_14     Document Type: Conference Paper

References (17)

1. F. Bueno, M. Garcia de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P.J. Stuckey. A model for inter-module analysis and optimizing compilation. In Procs of LOPSTR2000, volume 2042 of LNCS, pages 86–102, 2001.
2. P. Codognet and D. Diaz. Boolean constraint solving using clp(FD). In Procs. of ILPS’1993, pages 525–539. MIT Press, 1993.
3. B. Demoen, M. Garcìa de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. An overview of HAL. In Procs. of PPCP’99, LNCS, pages 174–188, 1999.
4. A.J. Fernàndez and B.C. Ruiz Jimènez. Una semàntica operacional para CProlog. In Proceedings of II Jornadas de Informàtica, pages 21–30, 1996.
5. T. Frühwirth. CHR home page. www.informatik.uni-muenchen.de/~fruehwir/chr/.
6. T. Fruhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37:95–138, 1998.
7. W. Harvey and P.J. Stuckey. Constraint representation for propagation. In Procs. of PPCP’98, LNCS, pages 235–249. Springer-Verlag, 1998.
8. C. Holzbaur, P.J. Stuckey, M. Garcìa de la Banda, and D. Jeffery. Optimizing compilation of constraint handling rules. In Procs. of ICLP17, LNCS, 2001.
9. IC PARC. ECLiPSe prolog home page. http://www.icparc.ic.ac.uk/eclipse/.
10. ILOG. CPLEX product page. http://www.ilog.com/products/cplex/.
11. Jack: Java constraint kit. http://www.fast.de/mandel/jack/.
12. D. Jeffery, F. Henderson, and Z. Somogyi. Type classes in Mercury. Technical Report 98/13, University of Melbourne, Australia, 1998.
13. S. Kaes. Parametric overloading in polymorphic programming languages. In ESOP’88 Programming Languages and Systems, volume 300 of LNCS, pages 131–141, 1988.
14. K. Marriott and P.J. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1998.
15. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP, 29:17–64, 1996.
16. M. Trick. mat.gsia.cmu.edu/COLOR/color.html.
17. P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad-hoc. In Proc. 16th ACM POPL, pages 60–76, 1989.