整数区间算术约束的分析
人工智能
2007-05-23 v2 编程语言
摘要
整数区间的算术约束在许多约束编程系统中得到支持。我们在此研究实现这些约束传播的多种方法。为描述这些方法，我们引入整数区间算术。我们使用适当的证明规则来解释这些方法，这些规则会缩小变量的取值范围。我们对这些方法进行了基准测试比较。对于最有前景的方法，我们提供了描述约束传播效果的结果。这篇文章是我们更早论文（cs.PL/0403016）的完整版本。
引用
@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}
}
备注
44 pages, to appear in 'Constraints' journal