Descriptive complexity of linear equation systems and applications to propositional proof complexity
Descriptive complexity of linear equation systems and applications to propositional proof complexity
复制标题
线性方程组的描述复杂性及其在命题证明复杂性中的应用
DOI：
10.1109/lics.2017.8005081
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
W. Pakusa
中科院分区：
文献类型：
--
作者：
M. Grohe;W. Pakusa
登录
查看更多内容
线性丢番图方程、群 CSP 和图同构
DOI：
10.1137/1.9781611974782.21
发表时间：
2017
期刊：
影响因子：
--
作者：
C. Berkholz;M. Grohe
通讯作者：
M. Grohe
捕获区间图上的多项式时间
DOI：
10.1109/lics.2010.42
发表时间：
2010
期刊：
2010 25th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
B. Laubner
通讯作者：
B. Laubner
影响因子：
0.7
作者：
N. Wiegmann
通讯作者：
N. Wiegmann
DOI：
10.1137/1.9781611973402.120
发表时间：
2014-01
期刊：
--
影响因子：
--
作者：
R. O'Donnell;John Wright;Chenggang Wu;Yuan Zhou
通讯作者：
R. O'Donnell;John Wright;Chenggang Wu;Yuan Zhou
作为复杂性衡量标准的表达性：结果和方向
DOI：
10.1109/psct.1987.10319271
发表时间：
1987
期刊：
Proceeding Structure in Complexity Theory
影响因子：
--
作者：
N. Immerman
通讯作者：
N. Immerman