A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings.

Zhendong Su, David A. Wagner

Browse the full TACAS paper archive.