停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2015年第18届SAT：美国德克萨斯州奥斯汀

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/2015年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2015
Marijn鞋跟,肖恩·韦弗:
可满足性测试理论与应用——2015年SAT第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日，会议记录。计算机科学课堂讲稿9340,施普林格 2015，国际标准图书编号978-3-319-24317-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/CaiLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/CaiLS15
蔡少伟,川洛,苏凯乐:
CCAnr：一种基于配置检查的非随机可满足性局部搜索求解器。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/飞利浦S15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/PhilipS15
托比亚斯·菲利普,彼得·斯坦克:
PBLib-将伪布尔约束编码为CNF的库。 9-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BalabanovI15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BalabanovI15
瓦列里·巴拉巴诺夫,亚历山大·伊夫里:
通过预处理和分块加速MUS提取。 17-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ChenS15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ChenS15
陈瑞文,拉胡尔·桑塔纳姆:
稀疏MAX-SAT和MAX-k-CSP的改进算法。 33-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BurchardSB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BurchardSB15
扬·伯查德,托比亚斯·舒伯特,伯恩德·贝克尔:
并行#SAT解决的自由公平缓存。 46-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/NewshamLGLFC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NewshamLGLFC15
扎克·纽瑟姆,威廉·林赛,维杰·加内什,贾慧亮,塞巴斯蒂安·费奇梅斯特,克日什托夫·恰尔内茨基:
SATGraf：可视化求解器中SAT公式结构的演变。 62-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/KalechstainRD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/KalechstainRD15
乔纳森·卡列克斯坦,瓦迪姆·里夫钦,纳丘姆·德肖维茨:
提示已揭示。 71-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/IvriRS15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/IvriiRS15
亚历山大·伊夫里,瓦迪姆·里夫钦,奥弗·斯特里赫曼:
增量SAT中的主干文本挖掘——一种新的增量数据。 88-103
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/DouglassKR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/DouglassKR15
亚当·道格拉斯,安德鲁·D·金,杰克·雷蒙德:
用量子退火器构造SAT滤波器。 104-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/AzizCMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AzizCMS15
雷汉·阿卜杜勒·阿齐兹,杰弗里·朱,克里斯蒂安·穆伊斯,彼得·J·斯塔基:
#∃SAT：投影模型计数。 121-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/KullmannM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/KulmannM15
奥利弗·库尔曼,乔安·马奎斯·西尔瓦:
使用少量简单的Oracle查询计算最大辅助数。 138-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Balyo15春夏
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BalyoSS15
托马斯·巴利奥,彼得·桑德斯,卡斯滕·辛兹:
HordeSat：大规模并行组合SAT解算器。 156-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/WimmerGNSB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/WimmerGNSB15
拉尔夫·威默,卡琳娜·吉蒂娜,詹妮弗·尼斯特,克里斯托夫·斯科尔,伯恩德·贝克尔:
DQBF的预处理。 173-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/LonsingE15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/LonsingE15
弗洛里安·朗辛,乌韦·埃格利:
通过子句组求解器API增量计算QBF的最小不满足核。 191-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BovaCMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BovaCMS15
西蒙·波娃,弗洛伦特·卡佩利,斯特凡·门格尔,弗里德里希·斯利沃夫斯基:
关于将CNF编译为结构化确定性DNNF。 199-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/FalknerLH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/FalknerLH15
斯特凡·福克纳,马吕斯·林道尔,弗兰克·赫特:
SpySMAC：SAT解算器的自动配置和性能分析。 215-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/GanianS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/GanianS15
罗伯特·加尼安,斯特凡·塞德尔:
SAT和#SAT的社区结构启发算法。 223-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/AnsoteguiGLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AnsoteguiGLS15
卡洛斯·安索特吉,杰苏斯·吉尔德斯·克鲁,乔迪·利维,劳伦特·西蒙:
使用社区结构来检测相关的习得子句。 238-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/IserMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/IserMS15
马库斯·伊泽尔,诺伯特·曼泰,卡斯滕·辛兹:
CNF公式中嵌套闸门的识别。 255-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/NevesMJLM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NevesMJLM15
米格尔·内维斯,鲁本·马丁斯,米科拉斯·加诺塔,Inés Lync公司,Vasco M.Manquinho公司:
利用基于分辨率的表示进行MaxSAT求解。 272-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/IgnatievPM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/IgnatievPM15
阿列克谢·伊格纳提耶夫,亚历山德罗·普雷维蒂,乔安·马奎斯·西尔瓦:
基于SAT的公式简化。 287-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MangalZNN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MangalZNN15
拉维·曼格尔,张欣（Xin Zhang）,阿迪蒂亚·诺里,马约尔·奈克:
Volt：解决超大MaxSAT实例的惰性接地框架。 299-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Oh15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Oh15
Chanseok噢:
SAT和UNSAT之间：CDCL SAT的基本区别。 307-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ArifMM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ArifMM15
M.Fareed Arif先生,卡洛斯·门西娅,乔安·马奎斯·西尔瓦:
Horn公式的有效MUS枚举及其在公理精确定位中的应用。 324-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/TuHJ15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/TuHJ15
关华图,徐子建,蒋介洪:
QELL：带扩展子句学习和水平化SAT求解的QBF推理。 343-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/CorziliusKJSA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/CorziliusKJSA15
弗洛里安·科齐利厄斯,Gereon Kremer公司,塞巴斯蒂安·荣格斯,斯特凡·舒普,埃里卡·阿布拉哈姆:
SMT-RAT：一个用于战略和并行SMT解决的开源C++工具箱。 360-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenMS15
安蒂·海瓦里宁,马泰奥·马雷斯科蒂,娜塔莎·莎莉吉娜:
并行SMT求解器的搜索空间分区。 369-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Zielke015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Zielke015
克里斯蒂安·齐尔克,迈克尔·考夫曼:
一种新的部分MUS枚举方法。 387-404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BiereF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BiereF15
阿明·比尔,安德烈亚斯·弗罗里奇:
评估CDCL可变评分方案。 405-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MenciaPM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MenciaPM15
卡洛斯·门西娅,亚历山德罗·普雷维蒂,乔安·马奎斯·西尔瓦:
基于SAT的喇叭最小上界。 423-433

服务

管理网站设置

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