Design, implementation, and evaluation of the constraint language cc(FD)
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 293-316
- https://doi.org/10.1007/3-540-59155-9_15
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Solving large combinatorial problems in logic programmingThe Journal of Logic Programming, 1990
- Concurrent constraint programmingPublished by Association for Computing Machinery (ACM) ,1990
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Arc and path consistency revisitedArtificial Intelligence, 1986
- A generalized implicit enumeration algorithm for graph coloringCommunications of the ACM, 1985
- Une étude pratique de découpes de panneaux de boisRairo-Operations Research, 1984
- Ordonnancements à contraintes disjonctivesRairo-Operations Research, 1978
- Consistency in networks of relationsArtificial Intelligence, 1977
- Letter to the Editor—On the Merit of the Generalized Origin and Restarts in Implicit EnumerationOperations Research, 1970