解释约束编程
编程语言
2007-05-23 v1 人工智能
摘要
我们在此讨论约束编程 (CP)，并采用演绎论视角。为此，我们识别出三层抽象层次。每一层都揭示了 CP 的本质。特别是，最高层允许我们将 CP 更接近地引入计算作为演绎范式。中层可解释各种约束传播算法。最后，在最低层我们可以解决自动生成和优化约束传播算法的问题。
引用
@article{arxiv.cs/0602027,
title = {Explaining Constraint Programming},
author = {Krzysztof R. Apt},
journal= {arXiv preprint arXiv:cs/0602027},
year = {2007}
}
备注
15 pages, appeared in "Processes, Terms and Cycles: Steps on the Road to Infinity", (A. Middeldorp, V. van Oostrom, F. van Raamsdonk, R. de Vrijer, eds.), LNCS 3838, pp. 55-69. (2005)