摘要
[1] . 1994 . 鸽子洞原理的复杂性 . 组合数学 14 , 4 ( 1994 ), 417 – 433 . 谷歌学者 交叉引用 [2] . 1994 . 模的独立性 第页 计数原理 .英寸 第26届ACM计算机理论年会(STOC'94)会议记录 . 402 – 411 . 谷歌学者 数字图书馆 [3] . 2001 . 多项式微积分的下界:非多项式情况 .英寸 第42届IEEE计算机科学基础年会(FOCS’01)会议记录 . 190 – 199 . 谷歌学者 交叉引用 [4] . 1994 . Hilbert的Nullstellensatz下界与命题证明 .英寸 第35届IEEE计算机科学基础年会论文集(FOCS’94) . 794 – 806 . 谷歌学者 数字图书馆 [5] . 1999 . 简短的证明是狭义的——解析变得简单 .英寸 第31届ACM计算机理论年会(STOC'99)会议记录 . 517 – 526 . 谷歌学者 [6] . 2001 . 多项式微积分模不同素数的度之间的线性间隙 . J.计算。 系统科学。 62 , 2 ( 2001 ), 267 – 289 . 谷歌学者 数字图书馆 [7] . 1988 . 许多难以解决的例子 . 美国临床医学杂志 35 , 4 ( 10月。 1988 ), 759 – 768 . 谷歌学者 数字图书馆 [8] . 1996 . 使用Groebner基算法寻找不可满足性的证明 .英寸 第28届ACM计算理论年会(STOC'96)会议记录 . 174 – 183 . 谷歌学者 数字图书馆 [9] . 2018 . 具有奇偶性的恒深Frege的若干子系统 . ACM变速器。 计算。 逻辑 19 , 4 ( 11月。 2018 ). 谷歌学者 数字图书馆 [10] . 2019 . 关于线性方程组分辨率的注记 .英寸 计算机科学理论与应用会议记录(CSR’19) . 168 – 179 . 谷歌学者 数字图书馆 [11] . 2020 . 模2线性方程组的分辨率 . Ann.纯粹应用。 逻辑 171 , 1 ( 2020 ). 谷歌学者 交叉引用 [12] . 2019 . 证明复杂性 . 数学百科全书及其应用 ,卷。 170 . 剑桥大学出版社 . 谷歌学者 交叉引用 [13] . 2018 . 关于具有局部预言和团下界的单调电路 . 别致。 J.西奥。 计算。 科学。 ( 2018 ). 谷歌学者 交叉引用 [14] . 1995 . 有界深度大小的指数下界Frege鸽子洞原理的证明 . 随机结构。 阿尔戈。 7 , 1 ( 1995 ), 15 – 40 . 谷歌学者 数字图书馆 [15] . 1997 . 恒深Frege系统和多项式演算上指数加速证明系统的下界 .英寸 计算机科学数学基础会议记录(MFCS’97) . 85 – 90 . 谷歌学者 交叉引用 [16] . 2018 . 带有局部预言符的随机可行插值和单调电路 . 数学杂志。 逻辑 18 , 2 ( 2018 ). 谷歌学者 交叉引用 [17] . 1988 . Ramanujan图 . 组合数学 8 , 三 ( 1988 ), 261 – 277 . 谷歌学者 交叉引用 [18] . 2020 . 计数分辨率:类Dag下限和不同模 .英寸 第11届理论计算机科学会议(ITCS’20)创新论文集 ,卷。 151 . 1 – 37 . 谷歌学者 [19] . 1993 . 鸽子洞原理的指数下界 . 计算。 复杂。 三 ( 1993 ), 97 – 140 . 谷歌学者 数字图书馆 [20] . 2000 . 的DLL算法的下限 k个 -SAT(初版) .英寸 第十一届ACM-SIAM离散算法年会论文集(SODA'00) . 128 – 136 . 谷歌学者 [21] . 2008 . 线性方程组的分解与多重线性证明 . Ann.纯粹应用。 逻辑 155 , 三 ( 2008 ), 194 – 224 . 谷歌学者 交叉引用 [22] . 1998 . 多项式微积分的下界 . 计算。 复杂。 7 , 4 ( 12月。 1998 ), 291 – 324 . 谷歌学者 数字图书馆 [23] . 1997 . 计数( q个 )并不意味着计数( 第页 ) . Ann.纯粹应用。 逻辑 90 , 1 ( 1997 ), 1 – 56 . 谷歌学者 交叉引用 [24] . 2014 . 稀疏随机3-SAT反驳算法及插值问题 .英寸 第41届自动机、语言和程序设计国际学术讨论会论文集(ICALP’14) . 1015 – 1026 . 谷歌学者 交叉引用
建议
受限分辨率和切割平面证明系统之间的指数分离 FOCS’98:第39届计算机科学基础年会论文集 我们证明了一组具有多项式分辨率反驳的子句的树状切割平面反驳的指数下界。 这意味着对于切割平面和……,树状和匕首状证明之间存在指数分离。。。