A Proof Theoretic View of Constraint Programming
人工智能
2007-05-23 v1 编程语言
摘要
We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proof rules for linear constraints over interval domains, and illustrate their use by analyzing the constraint propagation process for the {\tt SEND + MORE = MONEY} puzzle. We also show how this approach allows one to build new constraint solvers.
引用
@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