×

约束编程、人工智能和运筹学的集成。2019年CPAIOR第16届国际会议,2019年6月4日至7日,希腊塞萨洛尼基。诉讼程序。 (英语) Zbl 1410.68020号

计算机科学课堂讲稿11494.查姆:施普林格(ISBN 978-3-030-19211-2/pbk;978-3-0030-19212-9/电子书)。xx,662页。(2019).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。有关上一次会议,请参阅[Zbl 1388.68011号].
索引文章:
布莱尔·阿奇博尔德;弗雷泽·邓洛普;鲁思·霍夫曼;Ciaran McCreesh;Patrick Prosser;詹姆斯·特里姆布尔,基于子图算法的顺序和并行求解搜索,20-38[Zbl 1525.68088号]
杰里米亚斯·伯格(Jeremias Berg);埃米尔·德米罗维奇;彼得·斯塔基。,针对不完整MaxSAT的Core-boosted线性搜索,39-56[兹比尔1525.68140]
大卫·伯格曼;Cardonha,Carlos;萨哈纳兹·梅赫拉尼,最小颜色碎片装箱的二进制决策图,57-66[Zbl 1525.90345号]
蒂莫·伯托尔德(Timo Berthold);Peter J.Stuckey。;雅各布·维茨,整数程序的本地快速学习,67-83[Zbl 1525.68142号]
雅各布·威齐格;蒂莫·伯托尔德(Timo Berthold);斯特凡·海因茨,关于混合整数非线性规划中冲突分析的状态报告,84-94[Zbl 1525.90285号]
古斯塔夫·比约达尔;皮埃尔·弗莱纳(Pierre Flener);贾斯汀·皮尔逊,通过与完整搜索的混合在本地搜索中生成复合移动,95-111[Zbl 1525.68143号]
波菲尔,密克尔;科尔·乔迪(Jordi Coll);Josep Suy;马图·维拉雷特,具有at-most-one关系的伪布尔约束的SAT编码,112-128[Zbl 1525.68144号]
Booth,Kyle E.C。;J.克里斯托弗·贝克,带时间窗的电动汽车路线约束规划方法,129-145[Zbl 1525.90052号]
皮埃尔·科斯特;安德里亚·洛迪;吉尔斯·佩森特,使用TSP松弛的基于成本的解决方案密度来解决路由问题,182-191[Zbl 1525.90349号]
昆瑟·科沃罗;Hungerländer,菲利普;科尔斯汀·迈尔;约格·Pöcher;特鲁登,基督徒,有人看护的送货上门服务订购阶段的优化方法,208-224[Zbl 1525.90056号]
达瓦尼亚,丹尼尔;胡克,J.N。,0-1编程的一致性,225-240[Zbl 1525.90268号]
埃米尔·德米罗维奇;Peter J.Stuckey。;詹姆斯·贝利(James Bailey);杰弗里·陈;克里斯·莱基(Chris Leckie);科塔吉里·拉马莫哈纳罗;枪,蒂亚斯,背包问题的预测与优化研究,241-257[兹比尔1525.90350]
纪尧姆·德瓦尔;文森特·布兰德斯;皮埃尔·杜邦;皮埃尔·绍斯,最大加权子矩阵覆盖问题:CP方法,258-274[Zbl 1525.90351号]
菲舍蒂,玛蒂娜;安德烈亚·洛迪;朱利亚·扎佩隆,在达到时限之前学习MILP解决结果,275-291[Zbl 1525.90283号]
克里斯蒂安·西纳鲁神父;勒希普,梅德丽娜,最优规模排序网络问题的改进包含测试算法,292-303[Zbl 1525.68094号]
盖宾格,托拜厄斯;弗洛里安·米切克(Florian Mischek);尼斯雷特·穆斯利乌,研究实际工业试验实验室调度的约束编程,304-319[Zbl 1525.90200]
Genc、Begum;穆罕默德·西亚拉;吉勒·西蒙宁;巴里·奥沙利文,稳定室友问题的稳健性方法及其与稳定婚姻问题的比较,320-336[Zbl 1525.68145号]
亚历山大·贡德兰(Alexandre Gondran);劳伦特·莫奥利克,图着色问题的最佳线索,337-354[Zbl 1525.90415号]
奥里奇奥(Auricchio),詹纳罗(Gennaro);费德里科·巴塞蒂;斯特凡诺·瓜兰迪;马可·维内罗尼,通过线性规划计算Wasserstein重心,355-363[Zbl 1525.68193号]
埃曼纽尔·希伯拉德;Katsirelos,乔治,用于大规模图精确着色的混合方法,374-390[Zbl 1525.68095号]
卢卡斯·克莱坦德;尼斯雷特·穆斯利乌,建模并解决最小换挡设计问题,391-408[Zbl 1525.90243号]
科库克、伯拉克;威廉·扬·范霍夫,Golomb标尺问题优化方法的计算比较,409-425[Zbl 1525.90363号]
阿尔诺·马拉珀特;玛歌·纳塔夫,一种新的CP方法,用于机器合格性有时间约束的并行机器调度问题,426-442[Zbl 1525.90213号]
保罗·J·尼古拉斯。;卡拉·霍夫曼。,利用整数优化和约束规划求解累积干扰信道分配问题的有效方法,443-460[Zbl 1525.90099]
康纳·莱利;安托万·勒格拉因;帕斯卡·范·亨特利克,用于实时骑乘共享操作的列生成,472-487[Zbl 1527.90054号]
比方说,Buser;斯科特·桑纳,带约束生成的非线性域中的度量混合因子规划,502-518[Zbl 1527.68214号]
塞拉、蒂亚戈;Arvind U.Raghunathan。;大卫·伯格曼;约翰·胡克(John Hooker);新高Kobori,不确定情况下的最后一英里计划,519-528[兹比尔1527.90108]
谭英聪;安德鲁·德隆(Andrew Delong);达里亚·特雷霍夫,深度逆优化,540-556[兹比尔1527.90258]
唐子业;van Hoeve,Willem-Jan;保罗·肖,关于无人机旅行推销员问题的研究,557-564[Zbl 1527.90060号]
范登·博加尔特,皮姆;马蒂伊斯·德·威德,使用决策图的统一机器调度的下限,565-580[Zbl 1527.90110号]
赫莱内·维哈吉(Hélène Verhaeghe);克利斯朵夫·勒库特;皮埃尔·绍斯,将紧图扩展到基本智能多值变量图,581-598[Zbl 1527.68215号]
王瑞伟;罗兰·H·C·雅普。,电弧一致性重新审查,599-615[Zbl 1527.68216号]
薛业祥;威廉·扬·范霍夫,将决策图嵌入生成性对抗网络,616-632[Zbl 1527.68217号]
杨茉莉;安德烈亚斯·舒特;彼得·斯塔基。,带能量变量的时间表边缘查找,633-642[Zbl 1527.90111号]
叶嘉华;徐宏;斯文·柯尼格(Sven Koenig);库马尔,T.K.萨蒂什,通过约束合成图对非线性伪布尔函数进行二次重新计算,643-660[Zbl 1527.90130号]

MSC公司:

68-06 与计算机科学有关的论文集、会议、文集等
90-06年 与运筹学和数学规划有关的会议记录、会议记录、收藏等
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
90C27型 组合优化
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部