A Comparative Study of Arithmetic Constraints on Integer Intervals

Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arithmetic. Each approach is explained using appropriate proof rules that reduce the variable domains. We compare these approaches using a set of benchmarks. 1 Preliminaries

• Type: Conference
• Year: 2003
• Where: CSCLP
• Authors: Krzysztof R. Apt, Peter Zoeteweij
• Keywords: Appropriate Proof Rules, Arithmetic Constraints, CSCLP 2003, Integer Interval