Yan Wang Bartholomew O. Nnaji Solving Interval Constraints by Linearization in Computer-Aided Design. 211-244 2007 13 Reliable Computing 2 http://dx.doi.org/10.1007/s11155-006-9023-4 db/journals/rc/rc13.html#WangN07