约束编程的证明论视角
人工智能
2007-05-23 v1 编程语言
摘要
我们在此提供了一种约束编程的证明论阐述，旨在捕捉这种编程风格的基本要素。我们通过呈现区间域上线性约束的证明规则来加以例证，并通过分析 SEND + MORE = MONEY 谜题的约束传播过程来说明其用法。我们还展示了这种方法如何允许构建新的约束求解器。
引用
@article{arxiv.cs/9810018,
title = {A Proof Theoretic View of Constraint Programming},
author = {Krzysztof R. Apt},
journal= {arXiv preprint arXiv:cs/9810018},
year = {2007}
}
备注
25 pages