Feasible Interpolation for QBF Resolution Calculi
Feasible Interpolation for QBF Resolution Calculi
复制标题
QBF分辨率计算的可行插值
DOI：
10.48550/arxiv.1611.01328
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Beyersdorff O
中科院分区：
文献类型：
--
作者：
Beyersdorff O
登录
查看更多内容
关于命题 QBF 展开式和 Q 分辨率
DOI：
10.1007/978-3-642-39071-5_7
发表时间：
2013
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
--
作者：
Mikoláš Janota;Joao Marques
通讯作者：
Joao Marques
具有独特 craig 插值的同义反复、均匀复杂性与非均匀复杂性
DOI：
10.1016/0168-0072(84)90029-0
发表时间：
1984
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
D. Mundici
通讯作者：
D. Mundici
证明作为游戏
DOI：
10.1080/00029890.2000.12005233
发表时间：
2000
期刊：
The American Mathematical Monthly
影响因子：
--
作者：
P. Pudlák
通讯作者：
P. Pudlák
量化布尔可满足性求解器中的冲突驱动学习
DOI：
10.1145/774572.774637
发表时间：
2002
期刊：
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002.
影响因子：
--
作者：
Lintao Zhang;S. Malik
通讯作者：
S. Malik
有界深度弗雷格证明的非自动化性
影响因子：
1.4
作者：
Maria Luisa Bonet;Carlos Domingo;Ricard Gavaldà;Alexis Maciel;T. Pitassi
通讯作者：
T. Pitassi