Design, implementation, and evaluation of the constraint language cc(FD)
- 31 December 1998
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 37 (1-3) , 139-164
- https://doi.org/10.1016/s0743-1066(98)10006-7
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Constraint programming: an efficient and practical approach to solving the job-shop problemPublished by Springer Nature ,1996
- Generalized constraint propagation over the CLP schemeThe Journal of Logic Programming, 1993
- A generic arc-consistency algorithm and its specializationsArtificial Intelligence, 1992
- Standard forms for rational linear arithmetic in constraint logic programmingAnnals of Mathematics and Artificial Intelligence, 1992
- Solving large combinatorial problems in logic programmingThe Journal of Logic Programming, 1990
- An Introduction to Prolog IIIPublished by Springer Nature ,1990
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- Arc and path consistency revisitedArtificial Intelligence, 1986
- A generalized implicit enumeration algorithm for graph coloringCommunications of the ACM, 1985
- Consistency in networks of relationsArtificial Intelligence, 1977