Constraint Logic Programming
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- An introduction to Prolog IIICommunications of the ACM, 1990
- Constraint logic programming languagesCommunications of the ACM, 1990
- Constraint query languages (preliminary report)Published by Association for Computing Machinery (ACM) ,1990
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- Constraint propagation with interval labelsArtificial Intelligence, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Gröbner Bases: An Algorithmic Method in Polynomial Ideal TheoryPublished by Springer Nature ,1985
- Increasing tree search efficiency for constraint satisfaction problemsArtificial Intelligence, 1980
- Synthesizing constraint expressionsCommunications of the ACM, 1978
- Consistency in networks of relationsArtificial Intelligence, 1977