An Analysis of Arithmetic Constraints on Integer Intervals
Artificial Intelligence
2007-05-23 v2 Programming Languages
Abstract
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for these constraints. To describe them 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. For the most promising approach we provide results that characterize the effect of constraint propagation. This is a full version of our earlier paper, cs.PL/0403016.
Keywords
Cite
@article{arxiv.cs/0607016,
title = {An Analysis of Arithmetic Constraints on Integer Intervals},
author = {Krzysztof R. Apt and Peter Zoeteweij},
journal= {arXiv preprint arXiv:cs/0607016},
year = {2007}
}
Comments
44 pages, to appear in 'Constraints' journal