Constraint satisfaction using constraint logic programming
- 31 December 1992
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 58 (1-3), 113-159
- https://doi.org/10.1016/0004-3702(92)90006-j
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Solving large combinatorial problems in logic programmingThe Journal of Logic Programming, 1990
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- Logic programming and digital circuit analysisThe Journal of Logic Programming, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- A generalized implicit enumeration algorithm for graph coloringCommunications of the ACM, 1985
- The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation LaboratoryACM Transactions on Programming Languages and Systems, 1981
- Increasing tree search efficiency for constraint satisfaction problemsArtificial Intelligence, 1980
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980
- Consistency in networks of relationsArtificial Intelligence, 1977