Interval constraints were first introduced by J.G. Cleary in paper "Logical Arithmetic".
Interval Constraint is a generic term used to denote a constraint in which variables are linked with intervals.
Interval constraint processing is a method used to process sets of continuous or mixed constraints over the real numbers. It relates techniques in CP and IC, propagation and search methods in constraint programming and the processes from interval computations
The Interval Constraint approach combines :
Interval Analysis
Computer Algebra
Domain reduction / Filtering
Propagation
Search