停止战争！

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

对于科学家：

默认搜索操作

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

问别人

可满足性、布尔建模和计算杂志，第6卷

>主页 >期刊销售 >可满足性、布尔建模与计算杂志

优化列表

优化激活！

放大了？？属于？？记录

查看优化列表

导出优化列表为

显示全部？？记录

第6卷第1-3期，2009年5月

文章

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/Szeider09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/Szeider09
斯特凡·塞德尔:
匹配公式和后门集合。 1-12
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/HausTW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/HausTW09
Utz-Uwe Haus公司,克劳斯·特鲁厄温,罗伯特·魏斯曼特:
某些信令网络3CNF公式的线性可满足性算法。 13-32
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/GershmanS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/GershmanS09
罗曼·格什曼,奥弗·斯特里赫曼:
HaifaSat：基于抽象/细化模型的SAT解算器。 33-51
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/HirschKKN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/HirschKKN09
爱德华·赫施,阿里斯特·科杰夫尼科夫,亚历山大·库利科夫,谢尔盖·尼科伦科:
伪度受限的半代数证明的复杂性。 53至69
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/GilFS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/GilFS09
路易斯·吉尔,保罗·F·弗洛雷斯,路易斯·米格尔·西尔维拉:
PMSat：MiniSAT的并行版本。 71-98
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/ChuHS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/ChuHS09
杰弗里·朱,亚伦·哈伍德,彼得·J·斯塔基:
用于布尔可满足性求解器的缓存意识数据结构。 99-120
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/BuchheimR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/BuchheimR09
克里斯托夫·布赫海姆,乔瓦尼·里纳尔迪:
布尔优化的Terse整数线性程序。 121-139
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/HertelU09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/HertelU09
亚历山大·赫特尔,阿拉斯代尔·厄克哈特:
输入和单元分辨率的算法和复杂性结果。 141-164
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/BrummayerB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/BrummayerB09
罗伯特·布鲁迈尔,阿明·比尔:
数组扩张理论的需求引理。 165-201

第6卷第4期，2009年6月

SAT并行求解特刊

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/SchubertLB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/SchubertLB09
托比亚斯·舒伯特,马修·刘易斯,伯恩德·贝克尔:
PaMirXT：线程和消息传递的并行SAT求解。 203-222
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/HyvarinenJN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/HyvarinenJN09
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
在基于网格的随机SAT求解中引入子句学习。 223-244
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/HamadiJS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/HamadiJS09
优素福·哈马迪,萨伊德·贾布尔,拉赫达尔·赛斯:
ManySAT：并行SAT求解器。 245-262
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/Hamadi09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/Hamadi09
优素福·哈马迪:
并行SAT求解特殊问题的结论。 263

服务

管理网站设置

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