A Comparative Study of Arithmetic Constraints on Integer Intervals
Programming Languages
2007-05-23 v1 Artificial Intelligence
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.
Cite
@article{arxiv.cs/0403016,
title = {A Comparative Study of Arithmetic Constraints on Integer Intervals},
author = {Krzysztof R. Apt and Peter Zoeteweij},
journal= {arXiv preprint arXiv:cs/0403016},
year = {2007}
}
Comments
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