Interval computation as deduction in chip
- 1 July 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 16 (3-4) , 255-276
- https://doi.org/10.1016/0743-1066(93)90045-i
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- HIERARCHICAL ARC CONSISTENCY FOR DISJOINT REAL INTERVALS IN CONSTRAINT LOGIC PROGRAMMINGComputational Intelligence, 1992
- The CLP( ℛ ) language and systemACM Transactions on Programming Languages and Systems, 1992
- An introduction to Prolog IIICommunications of the ACM, 1990
- Constraint propagation with interval labelsArtificial Intelligence, 1987
- Arc and path consistency revisitedArtificial Intelligence, 1986
- Hierarchical arc consistency: exploiting structured domains in constraint satisfaction problemsComputational Intelligence, 1985
- A qualitative physics based on confluencesArtificial Intelligence, 1984
- A generalized interval package and its use for semantic checkingACM Transactions on Mathematical Software, 1984
- Planning routes through uncertain territoryArtificial Intelligence, 1984
- Increasing tree search efficiency for constraint satisfaction problemsArtificial Intelligence, 1980