彼得·斯图基（Peter J.Stuckey）。（编辑） 约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。 （英语） Zbl 1482.68041号 计算机科学课堂讲稿12735.查姆：施普林格（ISBN 978-3-030-78229-0/pbk；978-3-0030-78230-6/电子书）。十七、468页。(2021). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1502.68029号].索引文章：尼古拉·比约纳；Levatich，Maxwell；Lopes，Nuno P。；Andrey Rybalchenko；Chandrasekar的Vuppalapati，增压设备配置使用Z3，1-25[Zbl 07493618号]亚历山德罗·希尔；约旦Ticktin；托马斯·沃森。，具有自主学习效应的资源约束项目调度约束规划方法的计算研究，26-44[Zbl 07493619号]埃米尔·卡尔森；艾琳娜·伦伯格，在基于逻辑的折弯机分解中加强可行性切割，45-61[Zbl 07493620号]罗纳德·范·德里尔（Ronald van Driel）；埃米尔·德米罗维奇；尼尔·约克-史密斯，学习惰性子句生成求解器的变量活动初始化，62-71[Zbl 07493621号]霍恩，马提亚斯；Günther R.Raidl。，基于最长公共子序列问题的松弛决策图汇编，72-88[Zbl 07493622号]理查德·胡希诺（Richard Hoshino）；艾琳·法布里斯，在新冠肺炎期间将学生分成队列，89-105[Zbl 07493623号]王克良；莱昂纳多·洛扎诺；大卫·伯格曼；卡洛斯·卡多尼亚，神经网络集成优化的两阶段精确算法，106-114[Zbl 07493624号]科恩、埃尔丹；J.克里斯托弗·贝克，面向目标的神经序列解码中的重尾和随机重启波束搜索，115-132[Zbl 07493625号]克兰克（Christian Klanke）；多米尼克·R·布莱登。；伊凡提斯（Yfantis）、瓦西里奥斯（Vassilios）；塞巴斯蒂安·恩格尔，结合约束规划和时间分解方法——工业配方工厂的调度，133-148[Zbl 07493626号]朗伯斯，罗尔；劳伦特·罗图赞（Laurent Rothuizen）；斯皮克斯玛，弗里茨·C·R。《巡回社交高尔夫球运动员的问题：以国家排球联盟为例》，149-162年[Zbl 07493627号]艾克拉姆·奈卡奇；赛义德·贾布尔；Lakhdar Sais；纳德杰特·卡梅尔，面向项集挖掘任务的基于SAT的紧凑编码，163-178[Zbl 07493628号]马文·斯坦萨克（Marvin Stanczak）；普拉特、塞德里克；文森特·维达尔；文森特·波杜伊，基于A星搜索和线性规划的管道布线混合方法，179-195[Zbl 07493629号]Enrico Formenti；雷金、珍妮·查尔斯；萨拉·里瓦，离散动力系统上的MDDs boost方程求解，196-213[Zbl 07493630号]克莱尔·哈宁（Claire Hanen）；Alix Munier的Kordon；西奥·佩德森，并行处理器上调度相关任务的两种截止期缩减算法，214-230[兹比尔07439631]泽维尔·吉拉德；维也纳科佩；皮埃尔·绍斯（Pierre Schaus）；安德烈·奥古斯托·西雷，改进分支和绑定MDD解算器的过滤，231-247[Zbl 07493632号]Pesant，Gilles；Kuldeep S.Meel。；马希德·穆罕默德利塔伊里希，关于线性模运算在约束规划中的作用，248-265[Zbl 07493633号]西尔维斯特里，马蒂亚；米歇尔·隆巴迪；米歇拉·米兰，在神经网络中注入领域知识：一个约束问题的控制实验，266-282[Zbl 07493634号]阿德里安·布莱彻（Adrian Bracher）；尼古拉斯·弗罗纳；Günther R.Raidl。，学习同一天交付问题中短期规划的替代函数，283-298[Zbl 07493635号]Kronqvist，Jan；露丝·米塞纳；凯文·蔡，步骤之间：大M和凸壳配方之间的中间松弛，299-314[Zbl 07493636号]艾奥尼斯·阿夫吉里诺斯；莫尔托斯（Mourtos，Ioannis）；佐伊斯，乔治奥斯，基于逻辑的多式联运问题弯曲分解，315-331[Zbl 07493637号]维克托·荣格（Victor Jung）；雷金、珍妮·查尔斯，检查约束满足性，332-347[Zbl 07493638号]阿库恩、厄兹古尔；杰西卡·恩赖特（Jessica Enright）；克里斯托弗·杰斐逊；Ciaran McCreesh；Patrick Prosser；斯泰芬·兹夏勒，查找具有边约束的子图，348-364[Zbl 07493639号]奥strand，Max；米凯尔·约翰逊（Mikael Johansson）；哈米德·雷扎，使用基于CP的LNS对地下矿山生产车队进行短期调度，365-382[Zbl 07493640号]波尔曼，蒂尔；迈克尔·Römer，学习减少多活动轮班调度的状态扩展网络，383-391[Zbl 07493641号]费利克斯Chalumeau；伊兰·库隆；瓶盖，昆廷；卢梭，路易斯·马汀，SeaPearl：一个以强化学习为指导的约束编程求解器，392-409[Zbl 07493642号]詹姆斯·菲茨帕特里克；阿吉瓦尼，迪帕克；保拉·卡罗尔，学习简化旅行推销员问题实例，410-426[Zbl 07493643号]塞尔达尔·卡迪奥卢；伯纳德·克莱恩汉斯（Bernard Kleynhans）；王欣，优化项目选择以促进推荐系统的探索，427-445[Zbl 07493644号]奥古斯丁·帕贾迪斯；瓶盖，昆廷；卢梭、路易斯·马汀；大卫·伯格曼，使用决策图和强化学习改进分支和界限，446-455[Zbl 07493645号]盖宾格，托拜厄斯；卢卡斯·克莱坦德；马蒂亚斯·克兰兹；弗洛里安·米切克（Florian Mischek）；穆斯利乌·奈斯雷特（Nysret Musliu）；费利克斯·温特，大流行期间的医生安排，456-465[Zbl 07493646号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 90-06 与运筹学和数学规划有关的会议记录、会议记录、收藏等 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 900亿 运筹学与管理科学 90C27型 组合优化 00B25型 杂项特定利益的会议记录 引文：Zbl 1502.68029号 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Stuckey}（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5-8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：施普林格（2021；Zbl 1482.68041） 全文： 内政部