2012年第18届CP:加拿大魁北克省魁北克市
米歇拉·米兰 :
约束编程原理与实践——第18届国际会议,2012年10月8日至12日,加拿大魁北克省魁北克市,CP 2012。 诉讼程序。 计算机科学课堂讲稿 7514, 施普林格 2012 ,国际标准图书编号 978-3-642-33557-0
受邀论文
最佳论文
最佳申请文件
二等奖
CP主线
伊格纳西·阿比奥 , 彼得·J·斯塔基 :
冲突导向的惰性分解。 70-85 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔尔·加布斯 , 乔迪·利维 :
改进基于SAT的加权MaxSAT解算器。 86-101 文森特·阿尔芒 , 劳伦特·西蒙 , 菲利普·达格 :
具有隐私的分布式树分解。 102-117 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
完善SAT和UNSAT的重启策略。 118-126 穆罕默德·萨伊德·贝莱德 , 克劳德·米歇尔 , 米歇尔·鲁赫 :
提升浮点数的本地一致性算法。 127-140 尼古拉斯·贝尔迪卡努 , 赫尔穆特·西蒙尼斯 :
模型探索者:从正示例中提取全局约束模型。 141-157 安东·贝洛夫 , 米科拉斯·加诺塔 , Inés Lync公司 , 乔安·马奎斯·西尔瓦 :
关于最小等价子公式的计算。 158-174 克里斯蒂安·贝西尔 , 帕特里夏·古铁雷斯 , 佩德罗·梅塞盖尔 :
在DCOP中包含软全局约束。 175-190 阿莱西奥·邦菲蒂 , 米歇尔·隆巴迪 :
加权平均约束。 191-206 伊格纳西奥·卡斯蒂涅拉斯 , 米兰·德考尔 , 巴里·奥沙利文 :
基于Weibull的垃圾箱包装基准。 207-222 Kenil C.K.Cheng先生 , 魏霞 , 罗兰·H·C·叶 :
规则约束的时空权衡。 223-237 杰弗里·朱 , 彼得·J·斯塔基 :
约束编程中的Inter-instance Nogood学习。 238-247 亚历山德罗·西马蒂 , 安德烈亚·米凯利 , 马可·罗维里 :
使用SMT解决时间问题:强可控性。 248-264 马丁·库珀 , 纪尧姆·埃斯卡莫彻 , 斯坦尼斯拉夫·齐夫尼 :
二进制Max-CSP中禁止子问题的复杂性特征。 265-273 凯瑟琳·弗朗西斯 , 塞巴斯蒂安品牌 , 彼得·J·斯塔基 :
软件开发人员的优化建模。 274-289 劳伦特·格兰维尔(Laurent Granvilliers) :
数值CSP的自适应二分。 290-298 斯特凡诺·瓜兰迪 , 费德里科·马卢塞利 :
具有超可加目标函数的资源约束最短路径。 299-315 马蒂·贾维萨洛 , Arie Matsliah公司 , 雅各布·诺德斯特伦 , 斯坦尼斯拉夫·齐夫尼 :
SAT的相关证明复杂性度量和实际硬度。 316-331 乔治·卡特西洛斯 , 尼娜·纳罗季斯卡 , 托比·沃尔什 :
SeqBin约束再次出现。 332-347 乔治·卡特西洛斯 , 劳伦特·西蒙 :
工业SAT实例中的特征向量中心。 348-356 特罗·莱蒂宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
对奇偶约束进行分类和传播。 357-372 阿诺德·拉洛伊特 , 吉米·何曼·李 , 特伦斯·W·K·马克 :
基于对偶原理的Minimax加权CSP超弱溶液的一致性。 373-389 克里斯托夫·勒库特 , 尼古拉斯·巴黎 , 奥利维尔·罗塞尔 , 塞巴斯蒂安·塔巴里 :
传播软表约束。 390-405 克里斯托夫·勒库特 , 奥利维尔·罗塞尔 , Djamel E.Dehani先生 :
软邻域替代性的WCSP集成。 406-421 吉米·何曼·李 , 李晶莹 :
通过保持目标对称来增加对称破坏。 422-438 阿尔诺莱特 , 尼古拉斯·贝尔迪卡努 , Mats Carlsson公司 :
累积约束的可缩放扫描算法。 439-454 朱朱 , 朱敏莉 , Felip Manyá , 约塞普·阿盖利奇 :
从MinSAT到MaxSAT的新编码。 455-463 刘伟明 , 李三江 :
定性时空推理中最小约束网络的求解。 464-479 弗洛伦特·马德兰 , 巴纳比·马丁 :
从CSP到QCSP及其以外的控制、等效性和核心性。 480-495 让-巴蒂斯特·迈里 , 帕斯卡·范·亨特利克 , 伊夫·迪维尔 :
表约束的最优过滤算法。 496-511 尤里·马利茨基 , 阿什什·萨巴瓦尔 , 霍斯特·萨穆洛维茨 , 梅诺夫·塞尔曼 :
并行SAT求解器选择和调度。 512-526 劳伦特·米歇尔 , 帕斯卡·范·亨特利克 :
位向量上的约束满足。 527-543 珍妮·诺埃尔·莫内特 , 皮埃尔·弗莱纳 , 贾斯汀·皮尔逊 :
面向独立于解算器的传播器。 544-560 冈本腾达 , Yongjoon乔 , 岩崎Atsushi Iwasaki , 松井俊弘 , 平山县Katsutoshi Hirayama , Makoto Yokoo公司 :
多目标约束优化的交互式算法。 561-576 蒂埃里·佩蒂特 :
重点:集中高成本的限制。 577-592 奥利维尔·波西尼 , 克劳德·米歇尔 , 米歇尔·鲁赫 :
使用约束编程技术改进基于抽象解释的价值分析。 593-607 Cédric普拉特 , 杰拉德·维尔法利 :
时间相关的简单时间网络。 608-623 艾玛·罗伦 , 哈维尔·拉罗萨 :
分布式约束优化的改进有界最大和。 624-632 多梅尼科·萨尔瓦宁 , 托比·沃尔什 :
一种用于多活动轮班调度的混合MIP/CP方法。 633-646 阿伦·范·盖尔德 :
对实用量化布尔公式求解理论的贡献。 647-663 菲利普·维斯马拉 , 雷米·科莱塔 :
在几乎内射问题中打破变量对称性。 664-671 Siert Wieringa公司 :
使用模型旋转理解、改进和并行MUS查找。 672-687 罗伯特·伍德沃德 , Shant Karakashian公司 , 伯特·乔伊 , 克里斯蒂安·贝西尔 :
重新审视二进制CSP上的邻域逆一致性。 688-703 米查尔·罗纳 :
ORD Horn中局部到全局一致性的语法特征。 704-719 西云 , 苏珊·爱泼斯坦 :
自适应并行搜索的混合范式。 720-734
应用程序跟踪
哈德里安·坎巴扎德 , 伯纳德·彭兹 :
旅行购买者问题的约束规划方法。 735-749 罗伯托·卡斯塔涅达·洛扎诺 , Mats Carlsson公司 , 弗雷杰·德雷哈马尔 , 克里斯蒂安·舒尔特 :
基于约束的寄存器分配和指令调度。 750-766 韩宇谷 , 彼得·J·斯塔基 , 马克·华莱士 :
最大化大型资源消耗项目的净现值。 767-781 梅赫塔 , 巴里·奥沙利文 , 赫尔穆特·西蒙尼斯 :
比较机器重新分配问题的解决方法。 782-797 法滕·纳布利 , 弗朗索瓦·法赫斯 , 蒂埃里·马丁内斯 , 西尔万·索利曼 :
Petri网中枚举最小虹吸和陷阱的布尔模型。 798-814 皮埃尔·绍斯 , Jean-Charles雷金 , 罗文·范·舍伦 , 沃特·杜勒特 , Birger Raa公司 :
装箱约束的基数推理:在储罐分配问题中的应用。 815-822 蒂亚戈·塞拉 , 吉尔伯托·西冈 , 费尔南多·马塞利诺 :
海上资源调度问题:详细说明约束规划方法。 823-839
多学科轨道
大卫·阿洛奇 , 赛杜·特拉奥雷 , 伊莎贝拉·安德烈 , 西蒙·德·吉夫里 , 乔治·卡特西洛斯 , 索菲·巴比 , 托马斯·席克斯 :
计算蛋白质设计是一个成本函数网络优化问题。 840-849 费德里科·坎佩托 , 亚历山德罗·达尔·帕洛 , 阿戈斯蒂诺·多维尔 , 费迪南多·菲奥雷托 , 恩里科·蓬泰利 :
一种基于片段组装的带约束蛋白质环路建模的过滤技术。 850-866 圣埃芬·卡罗 , 达米恩·查布拉特 , 亚历山大·戈德斯特恩 , 石井大辅 , 克里斯托夫·杰曼 :
并行机器人广义方面计算的分支和修剪算法。 867-882 安德烈亚斯·迪斯特勒 , 克里斯托弗·杰斐逊 , 汤姆·凯尔西 , 拉尔斯·科特霍夫 :
10阶半群。 883-899 罗尔夫·法格伯格 , 克里斯托夫·弗拉姆 , 丹尼尔·默克尔 , 菲利普·彼得斯 :
使用SMT探索化学。 900-915 帕斯卡·热尔曼 , 塞巴斯蒂安·吉盖尔 , Jean-Francis罗伊 , 布里斯·齐拉基萨 , 弗朗索瓦·拉维奥莱特 , 克劳德·盖·昆珀 :
一种伪布尔集覆盖机。 916-924 阿隆·格鲁布什汀 , Amnon Meisels公司 :
通过异步回溯找到纳什均衡。 925-940 乔安·格拉 , Inés Lync公司 :
基于最大可满足性的生物网络推理。 941-956 乔治亚娜·伊弗里姆 , 巴里·奥沙利文 , 赫尔穆特·西蒙尼斯 :
用于调度的能源价格预测的属性。 957-972 杰罗姆·朗 , 杰罗姆·门根 , 李荣霞 :
聚合多问题域上的条件词典偏好。 973-987 迈克尔·莫林 , 阿尼卡-帕斯卡尔乳头 , 艾琳·阿比·赛德 , 弗朗索瓦·拉维奥莱特 , 克劳德·盖·昆珀 :
不确定路径规划的约束规划——求解最优搜索路径问题。 988-1003 圣地亚哥Ontañón , 佩德罗·梅塞盖尔 :
基于基本变量对称的约束规划特征项抽取。 1004-1012