Improved Randomized Algorithms for 3-SAT
Improved Randomized Algorithms for 3-SAT
复制标题
改进的 3-SAT 随机算法
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
S.Tamaki
中科院分区：
文献类型：
--
作者：
K.Iwama;K.Seto;T.Takai;S.Tamaki
登录
查看更多内容
用少于 2n 步解决可满足性问题
影响因子：
1.1
作者：
B. Monien;Ewald Speckenmeyer
通讯作者：
Ewald Speckenmeyer
DOI：
10.1007/3-540-61732-9
发表时间：
1992
期刊：
--
影响因子：
--
作者：
J. Calmet;J. Campbell
通讯作者：
J. Campbell
3-SAT 的引导搜索和更快的确定性算法
DOI：
10.1007/978-3-540-78773-0_6
发表时间：
2008
期刊：
Latin American Symposium on Theoretical Informatics
影响因子：
--
作者：
Dominik Scheder
通讯作者：
Dominik Scheder
求解 3-可满足性的新方法
DOI：
--
发表时间：
1996
期刊：
AISMC
影响因子：
--
作者：
R. Rodosek
通讯作者：
R. Rodosek
进一步改进的概率3-SAT算法
DOI：
10.1007/3-540-45841-7_15
发表时间：
2002
期刊：
--
影响因子：
--
作者：
T. Hofmeister;U. Schöning;R. Schuler;O. Watanabe
通讯作者：
O. Watanabe