约翰·胡克 基于逻辑的优化方法。结合优化和约束满足。 （英语） Zbl 0974.90001号 离散数学与优化中的Wiley-Interscience系列奇切斯特：威利。viii，495页（2000年）。 引言：本书是为那些希望更有效地解决优化问题，或将优化与约束满足结合起来的读者而写的。它通过分析和扩展逻辑在优化中的作用来完成这两项任务。这本书是为具有优化或约束满足背景的人而写的，但不一定两者都有。对于那些新的约束满足技术，它包含关于这些技术和约束编程的三个教程章节。对于那些在优化方面背景有限的人，它提供了相关优化方法的示例和初步解释。这本书面向实践者和理论家。本书约有三分之二介绍了基本上可以实现的技术和建模框架。一些已经成功实施。因此，从业者应该找到有直接价值的书。这本书的其余部分稍微深入了一点。它建议在应用之前需要进一步开发未经验证的想法。这本书也适用于涉及优化或约束满足/约束编程培训学生的研究生研讨会。导言部分概述了一些可能的学习计划。审核人：胡安·曼努埃尔·奥特罗（哈瓦那） 引用于81文件 MSC公司： 90-02 与运筹学和数学规划有关的研究博览会（专著、调查文章） 03B35型 证明和逻辑操作的机械化 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90C27型 组合优化 90 C59 数学规划中的近似方法和启发式 关键词：约束满足;约束编程;优化方法 PDF格式BibTeX公司 XML格式引用 \textit{J.Hooker}，基于逻辑的优化方法。结合优化和约束满足。奇切斯特：威利（2000；Zbl 0974.90001）