A Comparative Study of Arithmetic Constraints on Integer Intervals
编程语言
2007-05-23 v1 人工智能
摘要
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.
引用
@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}
}
备注
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