数组中约束传播
编程语言
2007-05-23 v1 数据结构与算法
摘要
我们描述了将数组表达式用作约束的方法，这是“element”约束的一个更广泛的推广。研究了数组约束的约束传播，并对一组域约简规则进行了理论分析，证明了它们强制的局部一致性为弧一致性。描述了一种高效算法，该算法封装了规则集合，因此继承了来自规则的弧一致性能力。
关键词
引用
@article{arxiv.cs/0105024,
title = {Constraint Propagation in Presence of Arrays},
author = {Sebastian Brand},
journal= {arXiv preprint arXiv:cs/0105024},
year = {2007}
}
备注
10 pages. Accepted at the 6th Annual Workshop of the ERCIM Working Group on Constraints, 2001