2022年第28届CP:以色列海法
克里斯汀·索尔农 :
第28届约束规划原理与实践国际会议,CP 2022,2022年7月31日至8月8日,以色列海法。 LIPIcs公司 235, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2022 ,国际标准图书编号 978-3-95977-240-2 -
前言、目录、前言、会议组织。 0:1-0:18 唐纳德·科努特 :
回答了所有问题(邀请谈话)。 1:1-1:1 克里斯蒂娜·阿西米 , 利伯·巴托 , 西尔维娅·布蒂 :
修复了模板承诺模型检查问题。 2:1-2:17 玛丽亚·福丽娜·巴尔坎 , 悉达斯·普拉萨德 , Tuomas Sandholm公司 , 埃伦·维特西克 :
改进了分支和切割的样本复杂性边界。 3:1-3:19 利伯·巴托 , 西尔维娅·布蒂 :
Weisfeiler-Leman不变量承诺值CSP。 4:1-4:17 Chaithanya Basrur公司 , 阿拉姆·詹姆斯·辛格 , 阿鲁纳什-辛哈 , 阿克沙特·库马尔 , T.K.萨蒂什·库马尔 :
基于历史数据的海上交通安全航行轨迹优化。 5:1-5:17 尼古拉斯·贝尔迪卡努 , Jovia Cheukam-Ngouonou公司 , 雷米·杜恩斯 , 拉米兹·金杜林 , 克劳德·盖伊·昆佩尔 :
在尖锐边界上获取相关猜想的映射。 6:1-6:18 阿卜杜勒卡德尔·贝尔吉拉利 , 皮埃尔·蒙塔尔巴诺 , 大卫·阿洛奇 , 乔治·卡齐雷洛斯 , 西蒙·德·吉夫里 :
并行混合最佳优先搜索。 7:1-7:10 塞恩·伯登 , 莫希特·库玛 , 塞缪尔·科尔布 , 蒂亚斯枪 :
使用遗传算法和知识编译从示例中学习MAX-SAT模型。 8:1-8:17 克里斯蒂安·贝西尔 , 氯离子碳纳米管 , 马丁·库珀 , 伊曼纽尔·希伯拉德 :
最小尺寸电弧不一致性解释的复杂性。 9:1-9:14 拉斐尔·布德雷奥 , 凡妮莎·西蒙德 , 丹尼尔·拉丰德 , 克劳德·盖伊·昆佩尔 :
船舶改装项目调度的约束规划方法。 10:1-10:16 氯离子碳纳米管 :
约束满足问题中的冗余问题。 11:1-11:15 穆罕默德·萨米·谢里夫 , 贾马尔·哈贝特 , 马蒂厄·皮伊 :
从无交叉分辨率到最大卫星分辨率。 12:1-12:17 马丁·库珀 , 阿尔诺·莱肯(Arnaud Lequen) , 马里斯炸薯条 :
STRIPS问题和子问题之间的同构。 13:1-13:16 维亚尼·科佩 , 泽维尔·吉拉德 , 皮埃尔·绍斯 :
用决策图求解约束单流设施布局问题。 14:1-14:18 克里斯托弗·库伦 , 克劳德·盖伊·昆佩尔 :
基于求解计数的约束获取。 15:1-15:16 阿格内斯·切赫 , 纪尧姆·埃斯卡莫彻 , 路易斯·奎萨达 :
计算具有循环偏好的三维稳定匹配问题的松弛度。 16:1-16:19 蒂莫西·库里 , 加布里埃尔·德佩斯 , 本杰明·富勒 , 劳伦特·米歇尔 , 孙燕琳赛 :
DUELMIP:优化SDN功能和安全性。 17:1-17:18 阮当 , 奥兹古尔·阿库恩 , 琼·埃斯帕萨 , 伊恩·米格尔 , 彼得·南丁格尔 :
生成信息性基准实例的框架。 18:1-18:18 奥古斯汀·德尔克洛斯 , 皮埃尔·绍斯 , 帕斯卡·范·亨特利克 :
路由问题的序列变量。 19:1-19:17 简·德雷尔 , 塞巴斯蒂安·奥德尼亚克 , 斯特凡·塞德尔 :
CSP超越可追踪约束语言。 20:1-20:17 亚历山大·埃克 , 安德烈亚斯·舒特 , 彼得·J·斯塔基 , Guido塔克 :
用可变平均数解释基尼系数的传播和传播。 21:1-21:16 琼·埃斯帕萨 , 伊恩·米格尔 , 马图·维拉雷特 :
绘图:复杂过渡的规划问题。 22:1-22:17 赫莱恩·法吉尔 , 杰罗姆·门根 , 尼古拉斯·施密特 :
用于减少编译形式大小的OMDD核卫星系统。 23:1-23:18 丽贝卡·根策尔 , 劳伦特·米歇尔 , 威廉·扬·范霍夫 :
HADDOCK中MDD传播的启发式。 24:1-24:17 斯蒂芬·戈赫特 , 西亚兰·麦克里什 , 雅各布·诺德斯特伦 :
可审计约束编程求解器。 25:1-25:18 Marijn J.H.鞋垫 , 安东尼·卡拉哈利奥斯 , 威廉·扬·范霍夫 :
从派系到配色,再回来。 26:1-26:10 阿梅尔·希杜里 , 萨伊德·贾布尔 , 巴德兰·拉德道伊 :
关于频繁高效用项目集的枚举:一种符号人工智能方法。 27:1-27:17 鲁思·霍夫曼 , 徐竹 , 奥兹古尔·阿库恩 , 米盖尔·纳森塔 :
了解人们如何处理约束建模和求解。 28:1-28:18 莫希特·库玛 , 塞缪尔·科尔布 , 蒂亚斯枪 :
使用生成和聚合从数据中学习约束编程模型。 29:1-29:16 达芬·拉弗勒 , 萨拉斯·钱达尔 , 吉尔斯·佩森特 :
针对具有硬约束的序列生成任务,将强化学习和约束编程相结合。 30:1-30:16 吉米·H·M·李 , 艾伦Z.钟 :
利用函数约束自动打破优势进行约束优化。 31:1-31:17 李洪波 , 吴亚玲 , 尹明浩 , 湛山李 :
一种基于投资组合的方法,用于选择约束满足问题的有效变量排序启发式。 32:1-32:10 杰森·洛佩斯 , 亚历杭德罗·阿贝莱兹 , 劳拉·克莱门特 :
有序域约束满足问题鲁棒解的大邻域搜索。 33:1-33:16 路易斯·波波维奇 , 阿兰·科特 , 穆罕默德·加哈 , 富兰克林·恩格沃 , Quentin Cappart公司 :
基于约束规划的输电网设备检修计划。 34:1-34:15 艾萨克·鲁迪奇 , Quentin Cappart公司 , 路易斯·马丁·卢梭 :
剥离与绑定:用多值决策图生成更强大的松弛边界。 35:1-35:20 马特·索斯 , Priyanka Golia公司 , Sourav Chakraborty公司 , 库尔德普·S·梅尔 :
关于采样器的定量测试。 36:1-36:16 富利亚·特罗塞尔 , 西蒙·德·吉夫里 , 乔治·卡齐雷洛斯 :
贝叶斯网络结构学习中的结构化集变量域。 37:1-37:9 费利克斯·乌里希·奥尔坦 , 彼得·南丁格尔 , 詹姆斯·阿尔弗雷德·沃克 :
为伪布尔约束和线性整数约束选择SAT编码。 38:1-38:17 王杰(音译) , 陈丁丁 , 陈紫玉 , 刘向双 , 高俊松 :
完整性至关重要:在DCOP的基于树的同步回溯搜索中实现高效缓存。 39:1-39:17 王瑞伟 , 罗兰·H·C·叶 :
二进制约束树的CNF编码。 40:1-40:19 费利克斯·温特 , 塞巴斯蒂安·梅斯温克尔 , Nysret Musliu公司 , 丹尼尔·沃凯维奇 :
农业工业中带污染约束的并行机器调度建模与求解。 41:1-41:18