停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2006年第9届SAT：美国华盛顿州西雅图

>主页 >会议和研讨会 >坐

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2006
阿明·比尔,卡拉·戈麦斯:
可满足性测试的理论与应用——2006年SAT，第九届国际会议，美国华盛顿州西雅图，2006年8月12-15日，会议记录。计算机科学课堂讲稿4121,施普林格 2006，国际标准图书编号3-540-37206-7

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SheiniS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SheiniS06
侯赛因·M·希尼,卡伦·萨卡拉:
从命题可满足到可满足模理论。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/酒类06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Bachus06网址
法希姆·巴克斯:
CSP：将结构添加到SAT。 10-10

证明和核心

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/KojevnikovK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/KojevnikovK06
阿里斯特·科耶夫尼科夫,亚历山大·库利科夫:
伪度受限的半代数证明的复杂性。 11-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/KullmannLM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/KullmannLM06
奥利弗·库尔曼,Inés Lync公司,乔安·马奎斯·西尔瓦:
连接正规形式子句的分类：最小不满足子子句集和瘦核。 22-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/DershowitzHN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/DershowitzHN06
纳丘姆·德肖维茨,齐亚德·汉纳,亚历山大·纳达尔:
一种用于最小不满足核心提取的可扩展算法。 36-41
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Buresh-OppenheimM06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Buresh-OpenheimM06
约书亚·布雷什·奥彭海姆,大卫·G·米切尔:
不合格2CNF的最低见证人。 42-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Gelder06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Gelder06
阿伦·范·盖尔德:
关于输入覆盖数作为命题解析证明度量的初步报告。 48-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JussilaSB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JussilaSB06
托尼·尤西拉,卡斯滕·辛兹,阿明·比尔:
用于量化符号SAT求解的扩展分辨率证明。 54-60

启发式和算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ChaviraD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ChaviraD06
马克·查维拉,阿德南·达维切:
编码CNF以支持组件分析。 61-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JainBC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JainBC06
印度,君士坦丁诺·巴齐斯,埃德蒙·克拉克:
使用一般匹配的非子句公式的可满足性检查。 75-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Goldberg06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Goldberg06网址
尤金·戈德堡:
通过对完整赋值操作的算法确定分辨率。 90-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/张06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/张06
张汉涛:
具有引导路径的完整随机跳跃策略。 96-101

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Mironov Z06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MironovZ06
伊利亚·米罗诺夫,张林涛:
SAT解算器在散列函数密码分析中的应用。 102-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ZabiyakaD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ZabiyakaD06
尤利亚·扎比亚卡,阿德南·达维切:
功能树宽度：功能依赖存在时的边界复杂性。 116-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SebastianiV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SebastianiV06
罗伯托·塞巴斯蒂亚尼,米歇尔·韦斯科维:
将模态和描述逻辑的可满足性编码到SAT中：K（m）/ALC的案例研究。 130-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/LinceM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/LynceM06
Inés Lync公司,乔安·马奎斯·西尔瓦:
生物信息学中的SAT：用单倍型推断进行案例分析。 136-141

表面贴装技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/YuM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/YuM06
Yinlei余,莎拉·马利克:
线性约束下SMT的引理学习。 142-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/NieuwenhuisO06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NieuwenhuisO06
罗伯特·尼文胡斯,阿尔伯特·奥利弗拉斯:
SAT模理论与优化问题。 156-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/CottonM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/CottonM06
斯科特·科顿,奥德·马勒:
DPLL（T）的快速灵活差分约束传播。 170-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SheiniS06a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SheiniS06a
侯赛因·M·希尼,卡伦·萨卡拉:
满意模理论的渐进简化器。 184-197

结构

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BubeckB06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BubeckB06
乌维·布贝克,汉斯·克莱恩·勃宁:
依赖量化Horn公式：模型和复杂性。 198-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/PorschenSR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/PorschenSR06
斯特凡·保时捷,埃瓦德·斯佩肯迈耶,伯特·兰德拉斯:
关于线性CNF公式。 212-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ChenIJSS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ChenIJSS06
苏晨,托马斯·伊米林斯基,卡林·约翰斯加德,唐纳德·史密斯,马里奥·塞格迪:
类型约束满足问题的二分法定理。 226-239

最大萨特

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BonetLM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BonetLM06
玛丽亚·路易莎·博内,乔迪·利维,Felip Manyá:
Max-SAT的完整微积分。 240-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/FuM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/FuM06
傅朝晖,莎拉·马利克:
关于求解部分MAX-SAT问题。 252-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/DantsinW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/DantsinW06
叶夫根尼·丹钦,亚历山大·沃尔珀特:
常数子句密度公式的MAX-SAT求解速度比O（s）快²)时间。 266-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/WatanabeY06年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/WatanabeY06网址
渡边修（Osamu Watanabe）,山本正木:
MAX-2SAT问题的平均案例分析。 277-282

本地搜索和调查传播

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/PrestwichL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/PrestwichL06
史蒂文·普雷斯特维奇,Inés Lync公司:
不满足性的本地搜索。 283-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BulatovS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BulatovS06
安德烈·布拉托夫,Evgeny S.Skvortsov公司:
本地搜索的效率。 297-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ManoliosZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ManoliosZ06
Manolios帕纳焦蒂斯,张一敏:
在图形处理单元上实现测量传播。 311-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HsuM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HsuM06
埃里克·I.Hsu,希拉·麦克拉伊思:
布尔可满足性的特征传播方法。 325-338

QBF公司

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BuningZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BuningZ06
汉斯·克莱恩·勃宁,赵喜顺:
最小伪量化布尔公式。 339-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SamulowitzB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SamulowitzB06
霍斯特·萨穆洛维茨,法希姆·巴克斯:
QBF中的二进制子句推理。 353-367
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/TangM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/TangM06
大觉汤,莎拉·马利克:
用电路可观测性求解量化布尔公式并不重要。 368-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SabharwalAGHS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SabharwalAGHS06
阿什什·萨巴瓦尔,卡洛斯·安索特吉,卡拉·戈麦斯,贾斯汀·哈特,巴特·塞尔曼:
QBF建模：利用玩家对称性实现简单高效。 382-395

计数和并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/西村RS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NishimuraRS06
西村直美,普拉巴卡尔·拉格德,斯特凡·塞德尔:
使用顶点覆盖求解#SAT。 396-409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MorgadoMMM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MorgadoMMM06
安托尼奥·莫尔加多,保罗·马托斯,Vasco M.Manquinho公司,乔安·马奎斯·西尔瓦:
整数域中的计数模型。 410-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Turley 2006年4月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Turley06网址
马克·瑟利:
sharpSAT——具有高级组件缓存和隐式BCP的计数模型。 424-429
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenJN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenJN06
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
求解网格中SAT的一种分布方法。 430-435

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置都将作为Cookie存储在您的网络浏览器中。有关更多信息查看我们的F.A.Q。