金·万豪酒店;彼得·斯图基（Peter J.Stuckey）。 带约束的编程。引言。 （英语） Zbl 0935.68098号 马萨诸塞州剑桥：麻省理工学院出版社。xvi，467页（1998年）。 Publisher的描述：约束程序员的工作是使用数学约束来建模现实世界中的约束和对象。在本书中，Kim Marriott和Peter Stuckey首次全面介绍了约束编程的学科，尤其是约束逻辑编程。这本书涵盖了来自人工智能、逻辑编程、运筹学和数学编程的必要背景材料。讨论的主题从约束求解技术到约束编程语言的编程方法。由于还没有一种通用的约束逻辑编程语言语法，作者以独立于任何现有编程语言的方式呈现程序。实践练习涵盖了如何将本书与许多现有的约束语言结合使用。 引用于1审查引用于59文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68N17号 逻辑编程 68-01年 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：约束编程 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}和\textit{P.J.Stuckey}，带约束的编程。介绍。马萨诸塞州剑桥：麻省理工学院出版社（1998年；Zbl 0935.68098）