程成忠;斯蒂芬·史密斯。 将约束满足技术应用于车间调度。 （英语） Zbl 0890.9003号 安·Oper。物件。 70, 327-357 (1997). 摘要：我们研究了最近为截止日期调度开发的约束满足问题求解（CSP）模型对更常见的调度优化问题的适用性。我们的假设有两个方面：（1）CSP调度技术为在优化环境中开发高性能近似求解程序提供了基础，以及（2）CSP模型背后的代表性假设允许这些过程自然地适应使大多数实际应用程序复杂化的特殊约束。我们特别关注完工时间最小化的目标准则，该准则在车间调度文献中最受关注。我们通过将makespan问题重新定义为解决一系列不同但相关的截止时间调度问题之一，并嵌入一个简单的CSP过程作为子问题求解器，从而定义了一个有点不合常规的扩展求解过程。我们首先介绍了我们对一系列先前研究的基准问题进行的程序实证评估的结果。我们的程序可以提供强大的成本/性能，以较低的计算费用生成与使用最近报告的转移瓶颈搜索程序获得的解决方案相竞争的解决方案。为了证明通用性，我们还考虑将我们的过程应用于更复杂的多产品提升机调度问题。在一系列输入假设中，我们的程序只需进行微小的调整，就可以显著优于之前公布的解决此问题的程序。 引用于10文件 MSC公司： 90B35型 运筹学中的确定性调度理论 关键词：约束满足问题;最后期限安排;最大跨度最小化;多产品提升机调度 软件：JOBSHOP公司 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Cheng}和\textit{S.F.Smith}，Ann.Oper。第70、327--357号决议（1997年；Zbl 0890.9093） 全文： DOI程序