托拜厄斯·盖宾格;弗洛里安·米切克;尼斯雷特·穆斯利乌 研究实际工业试验室调度的约束规划。 （英语） Zbl 1525.90200 Rousseau，Louis-Martin（编辑）等人，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11494, 304-319 (2019). 摘要：在本文中，我们处理一个与众所周知的资源约束项目调度问题（RCPSP）密切相关的复杂现实世界调度问题。问题涉及工业测试实验室，其中大量测试必须由合格人员使用专业设备进行，同时遵守截止日期和其他限制。针对这个问题，我们提出了不同的约束规划模型和搜索策略。我们的方法使用CP解算器和MIP解算器对一组不同大小的生成实例进行评估。使用我们的最佳方法，我们可以为基于真实测试实验室问题生成的实例找到可行的和多个最佳解决方案。关于整个系列，请参见[Zbl 1410.68020号]. 引用于2文件 MSC公司： 90B35型 运筹学中的确定性调度理论 90 C59 数学规划中的近似方法和启发式 软件：Gecode公司;CPLEX公司;迷你锌 PDF格式BibTeX公司 XML格式引用 \textit{T.Geibinger}等人，Lect。注释计算。科学。11494、304--319（2019；Zbl 1525.90200） 全文： 内政部 arXiv公司