2008年第11届SAT:中国广州
汉斯·克莱恩·勃宁 , 赵喜顺 :
可满足性测试理论与应用——2008年国家税务总局第十一届国际会议,2008年5月12日至15日,中国广州。 诉讼程序。 计算机科学课堂讲稿 4996, 施普林格 2008 ,国际标准图书编号 978-3-540-79718-0 约塞普·阿盖利奇 , Alba Cabiscol公司 , Inés Lync公司 , Felip Manyá :
将Max-CSP建模为部分Max-SAT。 1-14 约塞普·阿盖利奇 , 朱敏莉 , Felip Manyá :
Max-SAT解算器的预处理器。 15-20 吉尔斯·奥德马尔 , 卢卡斯·波尔多 , 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
冲突分析的通用框架。 21-27 阿明·比尔 :
冲突驱动SAT解算器的自适应重启策略。 28-33 纳迪亚·克里尼努 , 埃尔维·多德 , 乌韦·埃格利 , 拉斐尔·罗西尼诺 :
随机量化布尔公式相变的新结果。 34-47 约翰·戴维斯 , 张西滩 , 方瑜 , 张林涛 :
设计一种用于SAT求解的高效硬件蕴涵加速器。 48-62 托比亚斯·艾巴赫 , 恩里科·皮尔兹 , 冈纳·沃尔克尔 :
使用SAT解算器攻击Bivium。 63-76 杰尔曼·福雷 , 罗伯特·尼文胡斯 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 :
SAT模-线性算术理论:精确、不精确和商业解算器。 77-90 永高 :
W[2]完全问题的随机实例:阈值、复杂性和算法。 91-104 康斯坦蒂诺斯·乔治奥 , Periklis A.Papakonstantinou公司 :
井结构k-SAT实例的复杂性和算法。 105-118 尤金·戈德堡 :
基于分辨率的SAT解决方案的决策程序。 119-132 谢哈伊姆 , 托比·沃尔什 :
SAT求解时间的在线估计。 133-138 费德里科·赫拉斯 , 哈维尔·拉罗萨 :
基于Max-SAT推断的Max-Clique预处理。 139-152 岩岛和雄 :
SAT、UNSAT和着色。 153 斯蒂芬·科特勒 , 迈克尔·考夫曼 , 卡斯滕·辛兹 :
可重命名喇叭后门的计算。 154-160 斯蒂芬·科特勒 , 迈克尔·考夫曼 , 卡斯滕·辛兹 :
使用后门的3-SAT NP-Hard子类的新边界。 161-167 弗洛里安·莱托姆 , 乔安·马奎斯·西尔瓦 :
改进了混合增量SAT算法。 168-181 马克·利菲顿 , 卡伦·萨卡拉 :
搜索辅助语句以修剪不满足的子句集。 182-195 弗洛里安·朗辛 , 阿明·比尔 :
Nenofex:扩展NNF以解决QBF问题。 196-210 马尔滕·马里恩 , 约翰·维托克斯 , 马克·德内克 , 莫里斯·布吕诺格 :
SAT(ID):用归纳定义扩展的命题逻辑的可满足性。 211-224 乔安·马奎斯·西尔瓦 , Vasco M.曼奎尼奥 :
面向更有效的基于不可满足性的最大可满足性算法。 225-230 斯特凡·保时捷 , 埃瓦德·斯佩肯迈耶 :
一个推广精确线性公式的CNF类。 231-245 多米尼克·谢德 , 菲利普·祖姆施泰因 :
有多少冲突需要解决? 246-256 兹比格尼乌·斯塔奇尼亚克 , 安东·贝洛夫 :
利用子句学习加速非子句局部搜索命题可满足性。 257-270 瓦迪姆·里夫钦 , 奥弗·斯特里赫曼 :
本地重新启动。 271-276 阿拉斯代尔·厄克哈特 :
常规和一般分辨率:改进的分离。 277-290 汉斯·范·马伦 , Siert Wieringa公司 :
快速找到有保障的MUS。 291-304
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)