2004/03/12 by Krzysztof R. Apt, Apt, Krzysztof R., Peter Zoeteweij +1
Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #D.3.2 #D.3.3 #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.AI #cs.PL
paper · pdf · doi:10.48550/arxiv.cs/0403016
24 pages. To appear in "Recent Advances in Constraints, 2003" K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza, eds, LNAI 3010, Springer-Verlag, 2004
arxiv created 2004/03/12 · openalex publication_date 2004/03/12 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
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.