A Parallel SAT Solver for Clusters
A Parallel SAT Solver for Clusters
复制标题
集群的并行 SAT 求解器
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
K. Ueda
中科院分区：
文献类型：
--
作者：
K. Ohmura;K. Ueda
登录
查看更多内容
将学习融入基于网格的随机 SAT 求解
DOI：
10.1007/978-3-540-85776-1_21
发表时间：
2008
期刊：
ArXiv
影响因子：
--
作者：
A. Hyvärinen;Tommi A. Junttila;I. Niemelä
通讯作者：
I. Niemelä
DOI：
10.1007/3-540-45657-0_2
发表时间：
2002-07
期刊：
--
影响因子：
--
作者：
Lintao Zhang;S. Malik
通讯作者：
Lintao Zhang;S. Malik
PMSat：MiniSAT 的并行版本
DOI：
10.3233/sat190063
发表时间：
2008
期刊：
J. Satisf. Boolean Model. Comput.
影响因子：
--
作者：
Luís Gil;Paulo F. Flores;L. M. Silveira
通讯作者：
L. M. Silveira
满意度问题的并行解决：一项调查
DOI：
10.1002/9780470053928.ch5
发表时间：
2006
期刊：
Arthroscopy : the journal of arthroscopic & related surgery : official publication of the Arthroscopy Association of North America and the International Arthroscopy Association
影响因子：
--
作者：
Daniel Singer
通讯作者：
Daniel Singer