A Finite-Model-Theoretic View on Propositional Proof Complexity
A Finite-Model-Theoretic View on Propositional Proof Complexity
复制标题
命题证明复杂性的有限模型理论观点
DOI：
10.23638/lmcs-15(1:4)2019
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Pakusa
中科院分区：
文献类型：
--
作者：
Grädel;Martin;Benedikt;Pakusa
登录
查看更多内容
DOI：
10.1007/978-3-642-39071-5_6
发表时间：
2013
期刊：
影响因子：
--
作者：
Jacobo Torán
通讯作者：
Jacobo Torán
线性丢番图方程、群 CSP 和图同构
DOI：
10.1137/1.9781611974782.21
发表时间：
2017
期刊：
影响因子：
--
作者：
C. Berkholz;M. Grohe
通讯作者：
M. Grohe
团队语义中的计数
DOI：
10.4230/lipics.csl.2016.35
发表时间：
2016
期刊：
影响因子：
--
作者：
E. Grädel;S. Hegselmann
通讯作者：
S. Hegselmann
影响因子：
0.5
作者：
Anderson M
通讯作者：
Anderson M
影响因子：
1.6
作者：
Feder, T;Vardi, MY
通讯作者：
Vardi, MY