2011年第17届CP:意大利佩鲁贾
吉米·何曼·李 :
2011年9月12日至16日,意大利佩鲁贾,2011年第17届国际会议,《约束编程原理与实践》。 诉讼程序。 计算机科学课堂讲稿 6876, 施普林格 2011 ,国际标准图书编号 978-3-642-23785-0
受邀会谈
莱昂纳多·门东萨·德莫拉 :
协调可满足性引擎。 1 劳伦特·佩伦 :
谷歌的运营研究和约束编程。 2 Jean-Charles雷金 :
用CP解决问题:要避免的四个常见陷阱。 3-11
应用跟踪文件
尼古拉斯·贝尔迪卡努 , 赫尔穆特·西蒙尼斯 :
约束搜索器:从示例中查找和排序全局约束。 12-26 法比安·赫梅尼耶 , 索菲·德马西 , 泽维尔·洛卡 :
虚拟化数据中心中的箱子重新包装计划。 27-41 米歇尔·列斐伏尔 , Jean-François普吉 , 彼得·维利姆 :
路由查找器:使用约束编程高效地查找k条最短路径。 42-53 文卡特斯·拉马莫西 , 马吕斯·卡林·西拉吉 , 松井俊弘 , 平山县Katsutoshi Hirayama , Makoto Yokoo公司 :
使用CSP设计加密S盒。 54-68 安德烈亚斯·舒特 , 彼得·J·斯塔基 , 安德鲁·威尔登 :
最佳地毯裁剪。 69-84 马丁·斯特莱维克 , 托马斯·埃里克·诺德兰德 , 亚特里瑟 , 海尔·福罗伊塞斯 :
解决现实世界护士排班问题的混合方法。 85-99 杰拉德·维尔法利 , Cédric普拉特 :
控制器综合的约束编程。 100-114
研究跟踪文件
安德烈亚·巴托里尼 , 米歇尔·隆巴迪 , 米歇拉·米兰 , 卢卡·贝尼尼 :
模拟复杂现实世界问题的神经元约束。 115-129 阿莱西奥·邦菲蒂 , 米歇尔·隆巴迪 , 卢卡·贝尼尼 , 米歇拉·米兰 :
基于约束的循环RCPSP方法。 130-144 圣马尔克维亚尼教堂(Vianney le Clément de Saint-Marcq) , 伊夫·迪维尔 , 克里斯汀·索尔农 :
用于查询语义Web的高效轻量级解算器。 145-159 大卫·A·科恩 , 马丁·库珀 , 马丁·詹姆斯·格林 , 达涅尔·马克思 :
关于保证多项式有界搜索树的大小。 160-171 Jean-François Condotta女士 , 克里斯托夫·勒库特 :
基于决策的一致性框架。 172-186 马丁·库珀 , 斯坦尼斯拉夫·齐夫尼 :
分层嵌套凸VCSP。 187-194 马丁·库珀 , 斯坦尼斯拉夫·齐夫尼 :
牵引三角。 195-209 帕伊迪克里德 , 斯坦尼斯拉夫·齐夫尼 :
关于最小加权克隆。 210-224 杰西卡·戴维斯 , 法希姆·巴克斯 :
通过求解一系列更简单的SAT实例来求解MAXSAT。 225-239 亚历克西斯·德克莱克 , 蒂埃里·佩蒂特 , 尼古拉斯·贝尔迪卡努 , 纳伦德拉·尤西恩 :
具有资源过载的离散累积问题的滤波算法。 240-255 萨米尔·穆罕默德·埃尔萨伊德 , 劳伦特·米歇尔 :
基于高层CP模型的搜索算法综合。 256-270 Jean-Guillaume Fages女士 , 泽维尔·洛卡 :
重新查看树约束。 271-285 蒂鲍特·费迪 , 佐尔坦·索莫吉 , 彼得·J·斯塔基 :
半灵气和扁平化。 286-301 谢尔盖·加斯佩斯 , 斯特凡·塞德尔 :
本地一致性的参数化复杂性。 302-316 亚历山大·戈德斯特恩 , 克里斯托夫·杰曼 , 安古洛总督 , 卡梅·托拉斯 :
数值约束问题中的对称破缺。 317-324 乔治·戈特洛布 :
关于最小约束网络。 325-339 吉安路易吉·格雷科 , 弗朗西斯科·斯卡切罗 :
约束优化的结构牵引性。 340-355 Diarmuid Grimes公司 , 伊曼纽尔·希伯拉德 :
Job Shop调度问题变量的模型和策略。 356-372 郭劲松 , 湛山李 , 梁张 , 耿雪娜(Xuena Geng) :
基于位操作的MaxRPC算法。 373-384 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于网格的SAT求解与迭代分区和子句学习。 385-399 悉达多·耆那 , 帕斯卡·范·亨特利克 :
大型邻里搜索拨号搭乘问题。 400-413 米科拉斯·加诺塔 , 乔安·马奎斯·西尔瓦 :
关于决定QBF的MUS成员资格。 414-428 马蒂·贾维萨洛 :
基于公理和连接的DPLL和OBDD的相对效率。 429-437 彼得·琼森 , 弗雷德里克·库维宁 , 约翰·塔珀 :
四个元素的最小CSP:超越子模块。 438-453 塞尔达尔·卡迪奥格鲁 , 尤里·马利茨基 , 阿什什·萨巴瓦尔 , 霍斯特·萨穆洛维茨 , 梅诺夫·塞尔曼 :
算法选择和调度。 454-469 塞尔达尔·卡迪奥格鲁 , 伊恩·奥马霍尼 , 菲利普·雷法洛 , 梅诺夫·塞尔曼 :
将差异纳入基于影响的搜索。 470-477 罗杰·卡梅恩 , 劳雷·波琳·福克索 , 约瑟夫·斯科特 , Youcheu Ngo-Kateu公司 :
累积资源约束的二次寻边滤波算法。 478-492 埃里克·格雷戈里 , Jean-Marie Lagniez女士 , 贝特朗迷宫 :
聚焦于fac变量的CSP解算器。 493-507 罗南·勒布拉斯 , 西奥多罗斯·达穆拉斯 , 约翰·格雷戈雷 , 阿什什·萨巴瓦尔 , 卡拉·戈麦斯 , R.布鲁斯·范多佛 :
带缩放的模式分解的约束推理和核聚类。 508-522 刘伟明 , 王生生 , 李三江 , 刘大友 :
解决涉及地标的定性约束。 523-537 陆润明 , 刘盛(Sheng Liu) , 张健(Jian Zhang) :
搜索双自正交拉丁方。 538-545 巴纳比·马丁 :
部分反射森林QCSP。 546-560 巴纳比·马丁 , 丹尼尔·保卢斯马 :
断开切割和2K 2-划分的计算复杂性。 561-575 松井俊弘 , 马吕斯·西拉吉 , 平山县Katsutoshi Hirayama , Makoto Yokoo公司 , 博伊·法尔廷斯 , 松尾浩(Hiroshi Matsuo) :
减少资源受限DCOP的搜索空间。 576-590 克里斯托弗·米尔斯 , 托德·奈文 , 马塞尔·杰克逊 , 马克·华莱士 :
通过模型变换证明对称性。 591-605 梅赫塔 , 巴里·奥沙利文 , 路易斯·奎萨达 :
寻找所有解决方案的价值排序:与自适应变量排序的相互作用。 606-620 阿米特·梅托迪 , 迈克尔·科迪什 , 维塔利湖 , 彼得·J·斯塔基 :
优化SAT编码的布尔等传播。 621-636 桑巴·恩多赫·恩迪亚耶 , 克里斯汀·索尔农 :
最大公共子图问题的CP模型。 637-644 穆罕默德·阿卜杜勒·哈基姆·牛顿 , Duc Nghia Pham先生 , 阿布杜勒·萨塔尔 , 迈克尔·J·马赫 :
袋鼠:一个高效的基于约束的本地搜索系统,使用惰性传播。 645-659 冈本腾达 , Yongjoon乔 , 岩崎Atsushi Iwasaki , Makoto Yokoo公司 , 博伊·法尔廷斯 :
具有质量边界的分布式约束优化的伪树不完全算法。 660-674 奥斯瓦尔多·奥利沃 , E.艾伦·艾默生 :
一个更高效的基于BDD的QBF求解器。 675-690 蒂瓦达尔·帕帕 , 帕拉格·辛拉 , 亨利·A·考茨 :
马尔可夫逻辑中有效推理的约束传播。 691-705 玛丽·佩洛 , 夏洛特·特鲁切特 , 弗雷德里克·本哈莫(Frédéric Benhamou) :
连续约束的八角域。 706-720 蒂埃里·佩蒂特 , 让-查尔斯·雷金 , 尼古拉斯·贝尔迪卡努 :
递增和约束的θ(n)有界一致性算法。 721-728 克里斯托弗·杰斐逊 , 凯伦·佩特里 :
局部对称破坏约束的自动生成。 729-743 Cédric普拉特 , 杰拉德·维尔法利 :
超越QCSP解决控制问题。 744-758 艾玛·罗伦 , 哈维尔·拉罗萨 :
关于迷你泡泡糖和迷你灌装消除订单。 759-773 汤姆·施里杰弗斯 , Guido塔克 , 彼得·威勒 , 霍斯特·萨穆洛维茨 , 彼得·J·斯塔基 :
搜索组合器。 774-788 阿伦·范·盖尔德 :
量化布尔公式的变量独立性和解析路径。 789-803 尼克·威尔逊 , 瓦利德·特拉贝尔西 :
条件偏好约束优化的修剪规则。 804-818 贾斯汀·叶 , 帕斯卡·范·亨特利克 :
检查和筛选全局集约束。 819-833