Compiling constraints in clp(FD)
- 30 June 1996
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 27 (3), 185-226
- https://doi.org/10.1016/0743-1066(95)00121-2
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- ADIAPublished by Springer Nature ,2009
- Design, implementation, and evaluation of the constraint language cc(FD)The Journal of Logic Programming, 1998
- Constraint logic programmingThe Knowledge Engineering Review, 1991
- A methodology for managing hard constraints in CLP systemsACM SIGPLAN Notices, 1991
- An introduction to Prolog IIICommunications of the ACM, 1990
- Solving large combinatorial problems in logic programmingThe Journal of Logic Programming, 1990
- Algorithms for testing the satisfiability of propositional formulaeThe Journal of Logic Programming, 1989
- Constraint satisfaction problems in logic programmingACM SIGART Bulletin, 1988
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- Domains for denotational semanticsLecture Notes in Computer Science, 1982