整数区间上算术约束的比较研究
编程语言
2007-05-23 v1 人工智能
摘要
我们提出多种实现整数区间上算术约束的约束传播方法。为此，我们引入整数区间算术。每种方法均通过适当的归约变量域的证明规则加以解释。我们使用一组基准测试对这些方法进行了比较。
引用
@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