默认搜索操作

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

问别人

POS@SAT2014年：奥地利维也纳

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@easychair.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sat/2014pos
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2014pos
丹尼尔·勒贝雷:
位置-14。2014年7月13日，奥地利维也纳，第五届SAT语用研讨会，2014年SAT会议的一个研讨会，是FLoC 2014在维也纳逻辑夏令营的一部分。 EPiC计算系列27,Easy椅子 2014
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/AudemardHJP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AudemardHJP14
吉尔斯·奥德马尔,贝诺·特霍森,萨伊德·贾布尔,塞德里克馅饼:
Dolius：一个分布式并行SAT解决框架。 1-11
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HeuleMP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HeuleMP14
Marijn鞋跟,诺伯特·曼泰,托比亚斯·菲利普:
验证子句共享并行SAT解算器的不满意结果。 12-25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Simon14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Simon14
劳伦特·西蒙:
SAT解算器证明的事后分析。 26-40
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MannP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ManP14
佐尔坦·阿达姆·曼,帕尔·安德拉斯·帕普:
重新审视公式划分。 41-56
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/阿方索M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AlfonsoM14网址
恩里克·马托斯·阿方索,诺伯特·曼泰:
新的CNF功能和公式分类。 57-71
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Mann14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Mann14
佐尔坦·阿达姆·曼:
典型案例的复杂性和SAT竞赛。 72-87
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Biere14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Biere14
阿明·比尔:
玲玲精要，SAT解决方案玲玲设计和实现方面的教程。 88
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HolldoblerMPS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HolldoblerMPS14
斯特芬·Hölldobler,诺伯特·曼泰,托比亚斯·菲利普,彼得·斯坦克:
泛型CDCL-现代命题可满足性求解器的形式化。 89-102
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/FrohlichKBV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/FrohlichKBV14
安德烈亚斯·弗罗里奇,格格利·科瓦什奈,阿明·比尔,赫尔穆特·维思:
iDQ：基于实例化的DQBF解决方案。 103-116

管理网站设置

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