An Introduction to Lower Bounds on Resolution Proof Systems
An Introduction to Lower Bounds on Resolution Proof Systems
复制标题
分辨率证明系统下限简介
DOI：
10.4036/iis.2015.l.02
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Kazuhisa Seto
中科院分区：
文献类型：
--
作者：
菅家康介;齋藤琢;高戸毅;鄭雄一;大庭伸介;Kazuhisa Seto
登录
查看更多内容
DOI：
10.1109/ccc.2002.1004336
发表时间：
2002
期刊：
Proceedings 17th IEEE Annual Conference on Computational Complexity
影响因子：
--
作者：
A. Razborov
通讯作者：
A. Razborov
了解分辨率中的空间：最佳下界和指数权衡
DOI：
--
发表时间：
2008
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
--
作者：
Eli Ben;Jakob Nordström
通讯作者：
Jakob Nordström
关于卵石和分辨率的相对强度
DOI：
10.1145/2159531.2159538
发表时间：
2010
期刊：
2010 IEEE 25th Annual Conference on Computational Complexity
影响因子：
--
作者：
Jakob Nordström
通讯作者：
Jakob Nordström
分辨率的指数时间/空间加速
DOI：
--
发表时间：
2007
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
--
作者：
Philipp Hertel;T. Pitassi
通讯作者：
T. Pitassi
只读一次分支程序、鸽巢原理和横向微积分的矩形证明
DOI：
10.1145/258533.258673
发表时间：
1997
期刊：
Comb.
影响因子：
--
作者：
A. Razborov;A. Wigderson;A. Yao
通讯作者：
A. Yao