多梅尼科·萨尔瓦金（编辑）；米歇尔·伦巴第（编辑） 在约束编程中集成人工智能和OR技术。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。 （英语） Zbl 1364.68017号 计算机科学课堂讲稿10335.查姆：施普林格（ISBN 978-3-319-59775-1/pbk；978-3-3169-59776-8/电子书）。第二十三章，第420页。(2017). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1337.68017号].索引文章：扎卡里亚·奇哈尼；布鲁诺·玛丽；弗朗索瓦·博博特；塞巴斯蒂安·巴丁，位向量理论的锐化约束编程方法，3-20[Zbl 1489.68249号]尼古拉斯·贝尔迪塞努（Nicolas Beldiceanu）；卡尔森，Mats；阿尔班·德里安；查尔斯·普鲁德霍姆；安德烈亚斯·舒特；彼得·斯图基（Peter J.Stuckey）。，艾伦关系中的范围一致的禁区，21-29[Zbl 1489.68247号]纪尧姆·佩雷斯（Guillaume Perez）；雷金、珍妮·查尔斯，MDD是高效的建模工具：应用于一些统计约束，30-40[Zbl 1489.68257号]大卫·伯格曼；安德烈·奥古斯托·西雷，关于找到最佳BDD松弛，41-50[兹比尔1489.68248]约瑟夫·斯科特（Joseph D.Scott）。；皮埃尔·弗莱纳（Pierre Flener）；贾斯汀·皮尔森；克里斯蒂安·舒尔特，有界长度序列变量的设计与实现，51-67[Zbl 1489.68258号]迪亚斯，马特奥；胸罩，Ronan Le；卡拉·戈麦斯，《寻求平衡：生成平衡拉丁矩形的挑战》，68-76[Zbl 1489.68251号]Leo，Kevin；塔克，吉多，调试不可满足的约束模型，77-93[Zbl 1489.68254号]Sicco Verwer；张应倩，使用整数优化学习具有灵活约束和目标的决策树，94-103[Zbl 1489.68259号]白俊文；比约克，约翰；薛业祥；桑托什·K·苏拉姆。；John Gregoire；卡拉·戈麦斯，约束矩阵分解问题的松弛方法：解决材料发现中的相位映射问题，104-112[Zbl 1489.68240号]德乌尼亚，迭戈；恒河、格雷姆；彼得·沙赫特（Peter Schachte）；彼得·斯图基（Peter J.Stuckey）。，尽可能减少景观对栖息地保护的阻力，113-130[Zbl 1491.92131号]穆罕默德·瓦赫比；Grimes，Diarmuid公司；梅塔、迪帕克；Brown，Kenneth N。；巴里·奥沙利文，针对地理上分布的数据中心问题的分布式优化方法，147-166[Zbl 1489.68040号]埃曼纽尔·希伯拉德；穆罕默德·西亚拉，基于解释的加权度，167-175[Zbl 1489.68252号]德莱特，安托万；吉尔斯·佩森特，计算加权生成树以解决约束最小生成树问题，176-184[兹比尔1489.68188]Vinasetan Ratheil Houndji；皮埃尔·绍斯（Pierre Schaus）；Hounkonou，马胡顿·诺伯特；劳伦斯·沃尔西，加权乔木约束，185-201[Zbl 1489.68194号]马库斯·克鲁伯；吕培克，马可·E。；阿克塞尔·帕门蒂埃，学习何时使用分解，202-210[Zbl 1489.68253号]雅各布·维茨；蒂莫·伯托尔德（Timo Berthold）；斯特凡·海因茨，混合整数规划中冲突分析的实验，211-220[Zbl 1489.68261号]巴吉兰、奥米德·萨内伊；安德烈·西尔（Andre A.Cire）。；卢梭，路易斯·马汀，首先看如何选择双重变量以最大限度地降低固定成本，221-228[Zbl 1489.68246号]发言人，艾米丽；于，韩；Lee，Jon（乔恩·李），双McCormick放松疗法基于容量的比较的实验验证，229-243[Zbl 1492.90140号]余、苗；维斯瓦纳特·纳加拉扬；沈思倩，具有兼容性约束的最小制造周期车辆路径问题，244-253[Zbl 1492.90098号]波兰德、纳塔希亚；迈克·休伊特；武德明；马丁·萨维尔斯伯格，通过动态生成的时间扩展网络解决带时间窗的旅行商问题，254-262[Zbl 1492.90145号]穆洛德忠·阿赫梅多夫；亚历山大·勒奈尔（Alexander LeNail）；弗朗西斯科·贝托尼；Kwee，Ivo；欧内斯特·弗伦克尔（Ernest Fraenkel）；罗伯特·蒙特曼，用于生物网络功能分析的快速prize-collecting Steiner forest算法，263-276[Zbl 1491.92057号]大卫·海米（David Hemmi）；塔克，吉多；马克·华莱士，用于随机组合优化的基于场景的学习，277-292[Zbl 1492.90147号]Mountakis，Kiriakos Simon；克洛斯、托马斯；塞斯·维特芬，随机任务网络——以交易绩效换取稳定性，302-311[Zbl 1491.90090号]瓶盖，昆廷；皮埃尔·绍斯，使用时间间隔变量在实时情况下重新安排铁路交通，312-327[Zbl 1491.90081号]Mountakis，Kiriakos Simon；托马斯·克劳斯（Tomas Klos）；塞斯·维特芬，动态时间解耦，328-343[Zbl 1489.68256号]马埃尔·米诺；恩迪亚耶，桑巴·恩多吉；克莉丝汀·索尔农，在和着色问题的有界高度树分解中结合CP和ILP，359-375[Zbl 1489.68255号]徐宏；Satish Kumar，T.K。；斯文·柯尼格，加权CSP的Nemhauser-Trotter缩减和提升消息传递，387-402[Zbl 1489.68262号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 90-06 与运筹学和数学规划有关的会议记录、会议记录、收藏等 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90C27型 组合优化 00B25型 杂项特定利益的会议记录 引文：Zbl 1337.68017号 PDF格式BibTeX公司 XML格式引用 \textit{D.Salvagin}（编辑）和\textit{M.Lombardi}（编），约束编程中AI和OR技术的集成。2017年6月5-8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格（2017；Zbl 1364.68017） 全文： 内政部