Applying interval arithmetic to real, integer, and boolean constraints
- 31 July 1997
- journal article
- Published by Elsevier BV in The Journal of Logic Programming
- Vol. 32 (1), 1-24
- https://doi.org/10.1016/s0743-1066(96)00142-2
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Interval computation as deduction in chipThe Journal of Logic Programming, 1993
- 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
- Constraint logic programmingThe Knowledge Engineering Review, 1991
- An introduction to Prolog IIICommunications of the ACM, 1990
- Constraint satisfaction problems in logic programmingACM SIGART Bulletin, 1988
- Hierarchical arc consistency: exploiting structured domains in constraint satisfaction problemsComputational Intelligence, 1985
- Consistency in networks of relationsArtificial Intelligence, 1977
- Networks of constraints: Fundamental properties and applications to picture processingInformation Sciences, 1974