默认搜索操作

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

问别人

POS@SAT2013年：芬兰赫尔辛基

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@easychair.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sat/2013pos
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2013pos
丹尼尔·勒贝雷:
POS-13。2013年7月7日，芬兰赫尔辛基，第四次SAT实用主义研讨会，2013年SAT会议研讨会。 EPiC计算系列29,Easy椅子 2014
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/软膏M13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BalintM13
阿德里安·巴林特,诺伯特·曼泰:
通过预处理器调整提高SLS和CDCL解算器的性能。 1-14
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Mayer-EichbergerW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Mayer-EichbergerW13
瓦伦汀·梅耶·艾希伯格,托比·沃尔什:
汽车排序问题的SAT编码。 15-27
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/AignerBKNP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AignerBKNP13
艾格纳,阿明·比尔,克里斯托夫·基尔希,艾娜·尼梅茨,马蒂亚斯·普雷纳:
当前多核体系结构的组合式并行SAT求解分析。 28-40
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MantheyLI13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MantheyLI13
诺伯特·曼泰,大卫·兰蒂,艾哈迈德·伊尔凡:
现代合作并行SAT求解。 41-54

管理网站设置

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