An Analysis of Arithmetic Constraints on Integer Intervals

Krzysztof R. Apt, Peter Zoeteweij. An Analysis of Arithmetic Constraints on Integer Intervals. Constraints, 12(4):429-468, 2007. [doi]

Abstract

Abstract is missing.