A Unified Framework for Interval Constraints and Interval Arithmetic.

Timothy J. Hickey Maarten H. van Emden Huan Wu

Published in: CP (1998)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
finite sets
provably correct
constraint satisfaction
constraint programming
constraint satisfaction problems
implicit surfaces
partial derivatives
linear programming
fixed point