伊奥努·阿隆;约翰·胡克（John N.Hooker）。;Yunes，Tallys H。 SIMPL：集成优化技术的系统。 （英语） 兹比尔1094.68636 Régin，Jean-Charles（ed.）等人，组合优化问题约束编程中人工智能和OR技术的集成。2004年4月20日至22日，第一届国际会议，CPAIOR 2004，法国尼斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21836-X/pbk）。计算机科学讲义3011，21-36（2004）。 摘要：近年来，约束编程（CP）和运筹学（OR）社区探索了将CP和OR技术结合起来以制定和解决组合优化问题的优势。这些优势包括一个更通用的建模框架，以及将两种解决方案技术的互补优势结合在一起的能力。这项研究已经达到了一个阶段，在这个阶段，通用建模和解决方案系统将有助于进一步开发。我们在这里介绍一个集成建模和解决方案的系统，称为SIMPL。我们的方法是将CP和OR技术视为单个方法的特殊情况，而不是将其组合为单独的方法。这种总体方法包括一个推断-释放-再释放循环，其中CP和OR技术可以在任何阶段相互作用。我们描述了SIMPL的主要特性，并通过示例说明了其用法。关于整个系列，请参见[Zbl 1051.68022号]. 引用于5文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90C27型 组合优化 软件：XPRESS公司;SIMPL公司 PDF格式BibTeX公司 XML格式引用 \textit{I.Aron}等人，Lect。注释计算。科学。3011，21-36（2004；Zbl 1094.68636） 全文： DOI程序