×

兹马思-数学第一资源

基于逻辑的优化方法。结合优化和约束满足。(英语) Zbl 0974.90001
离散数学与最优化中的威利跨科学系列。奇切斯特:威利。八,495页。(2000年)。
前言:这本书是为那些希望更有效地解决优化问题,或者将优化和约束满足结合起来的读者。它通过分析和扩展逻辑在优化中的作用来完成这两个任务。
这本书是为有优化或约束满足背景的人写的,但不一定两者都有。对于那些新的约束满足技术,它包含了关于这些和约束编程的三个教程章节。对于优化背景有限的人,给出了相关优化方法的实例和初步说明。
这本书是写给实践者和理论家的。本书大约三分之二的篇幅介绍了基本上可以实现的技术和建模框架。有些已经成功实施。因此,实践者应该找到具有即时价值的书。
这本书的其余部分更深入一点。它提出了未经证实的想法,在应用之前可能需要进一步发展。
这本书也适用于一个研究生研讨会,涉及学生在优化或约束满足/约束编程方面的培训。概述了一些可能的研究计划。

理学硕士:
90-02年 与运筹学和数学规划有关的研究博览会(专著、调查文章)
03B35型 证明和逻辑运算的机械化
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
90C27型 组合优化
90度59度 数学规划中的逼近方法和启发式方法
PDF格式 BibTeX公司 XML 引用