Applying interval arithmetic to real, integer, and boolean constraints

Publisher Website

31 July 1997

journal article
Published by Elsevier in The Journal of Logic Programming

Vol. 32 (1) , 1-24
https://doi.org/10.1016/s0743-1066(96)00142-2

Abstract

No abstract available

Keywords

This publication has 13 references indexed in Scilit:

Constraint logic programming: a survey
The Journal of Logic Programming, 1994
Interval computation as deduction in chip
The Journal of Logic Programming, 1993
HIERARCHICAL ARC CONSISTENCY FOR DISJOINT REAL INTERVALS IN CONSTRAINT LOGIC PROGRAMMING
Computational Intelligence, 1992
The CLP( ℛ ) language and system
ACM Transactions on Programming Languages and Systems, 1992
Constraint logic programming
The Knowledge Engineering Review, 1991
An introduction to Prolog III
Communications of the ACM, 1990
Constraint satisfaction problems in logic programming
ACM SIGART Bulletin, 1988
Hierarchical arc consistency: exploiting structured domains in constraint satisfaction problems
Computational Intelligence, 1985
Consistency in networks of relations
Artificial Intelligence, 1977
Networks of constraints: Fundamental properties and applications to picture processing
Information Sciences, 1974