An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability
An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability
复制标题
一种不经意读两次分支程序可满足性的精确算法
DOI：
10.1587/transfun.e99.a.1019
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Kazuhisa Seto and Junichi Teruyama
中科院分区：
文献类型：
--
作者：
He X;Ohba S;Hojo H;McMahon AP;Kazuhisa Seto and Junichi Teruyama
登录
查看更多内容
基于汉明球搜索的 SAT 算法
DOI：
10.1007/978-3-540-24749-4_13
发表时间：
2004
期刊：
2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
影响因子：
--
作者：
E. Dantsin;E. Hirsch;A. Wolpert
通讯作者：
A. Wolpert
对抗 Perebor：公式和 QBF 满足性的新算法和改进算法
DOI：
10.1109/focs.2010.25
发表时间：
2010
期刊：
2010 IEEE 51st Annual Symposium on Foundations of Computer Science
影响因子：
--
作者：
R. Santhanam
通讯作者：
R. Santhanam
完全二元基础公式的可满足性算法和平均情况硬度
DOI：
--
发表时间：
2012
期刊：
Proceedings of the 27th IEEE Conference on Computational Complexity
影响因子：
--
作者：
K.Seto;S.Tamaki
通讯作者：
S.Tamaki
AC0 的可满足性算法
DOI：
10.1137/1.9781611973099.77
发表时间：
2011
期刊：
ArXiv
影响因子：
--
作者：
R. Impagliazzo;W. Matthews;R. Paturi
通讯作者：
R. Paturi
影响因子：
1.4
作者：
Ruiwen Chen;Valentine Kabanets;A. Kolokolova;Ronen Shaltiel;David Zuckerman
通讯作者：
David Zuckerman