一类约束传播规则的调度器与冗余
数据结构与算法
2007-05-23 v3 编程语言
摘要
我们在此研究一类自然产生于基于规则的约束编程环境中的规则的调度器。我们从 [Apt 2000] 的通用迭代算法系统地推导出此类规则的调度器。我们将此研究应用于 [Apt and Monfroy 2001] 的所谓成员规则。这促成了一种实现，对于这些规则，其性能比将它们作为标准 CHR 规则执行时有显著提升。最后，我们展示了如何识别冗余规则以及如何计算适当简化后的规则集。
引用
@article{arxiv.cs/0403037,
title = {Schedulers and Redundancy for a Class of Constraint Propagation Rules},
author = {Sebastian Brand and Krzysztof R. Apt},
journal= {arXiv preprint arXiv:cs/0403037},
year = {2007}
}
备注
25 pages, to appear in the journal "Theory and Practice of Logic Programming"