×

基于约束的调度:将约束编程应用于调度问题。 (英语) 邮编1094.90002

运筹学与管理科学国际系列39.马萨诸塞州波士顿:Kluwer学术出版社(ISBN 0-7923-7408-8/hbk)。xiii,198页。(2001).
Publisher的描述:约束编程是一种解决问题的范式,它明确区分了问题的两个关键方面:(1)定义待解决问题的约束的精确定义,以及(2)能够选择解决问题的决策的算法和启发式。正是由于这些能力,约束编程越来越多地被用作解决调度问题的工具。因此,开发基于约束的调度作为一个研究领域。本书的目的是概述最广泛使用的基于约束的调度技术。遵循约束编程的原则,本书由三个不同的部分组成:第一章介绍了约束编程的基本原理,并提供了调度问题中最常见的约束模型。第2、3、4和5章重点讨论了资源约束的传播,这通常是导致调度问题“困难”的原因。第6章、第7章和第8章致力于解决几个调度问题。这些示例说明了前几章中约束传播方法的使用和实际效率。它们还表明,除了约束传播之外,还必须仔细设计搜索空间的探索,并考虑到所考虑问题的特定属性(例如,优势关系、对称性、分解规则的可能使用)。第9章提到了模型的各种扩展,并提出了有前景的研究方向。

MSC公司:

90-02 与运筹学和数学规划有关的研究博览会(专著、调查文章)
90B35型 运筹学中的确定性调度理论

软件:

克莱尔乔科
PDF格式BibTeX公司 XML格式引用