尼尔·萨彭
人员信息
优化列表
2020年–今天
2024 [第15条] Pavel Hubácek公司 , 埃尔凡·卡尼基 , 尼尔·萨彭 :
通过可行分离透镜的TFNP相交。 国际贸易中心 2024 : 63:1-63:24 [i18] 萨姆·巴斯 , 尼尔·萨彭 :
分辨率中尺寸和高度之间的简单超临界权衡。 电子。 计算机学术讨论会。 复杂。 24号机房 ( 2024 ) 2022 [公元24年] Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
近似计数和NP搜索问题。 数学杂志。 日志。 22 ( 三 ) : 2250012:1-2250012:31 ( 2022 ) [i17] 尼尔·萨彭 :
关于切换引理的注释。 CoRR公司 abs/2202.05651 ( 2022 ) [i16] 伊拉里奥·博纳西纳 , 尼尔·萨彭 :
PLS与PPP的分离。 电子。 计算机学术讨论会。 复杂。 22号机房 ( 2022 ) 2021 [公元23年] 萨姆·巴斯 , 尼尔·萨彭 :
没有新变量的DRAT和传播冗余证明。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) [第14条] Fedor零件 , 尼尔·萨彭 , 伊多·萨默雷 :
一阶推理与高效半代数证明。 低收入国家 2021 : 1-13 【i15】 Fedor零件 , 尼尔·萨彭 , 伊多·萨默雷 :
一阶推理和有效的半代数证明。 CoRR公司 abs/2105.07531 ( 2021 )
2010 – 2019
2019 [公元22年] 帕维尔·普德拉克 , 尼尔·萨彭 :
随机解决反驳。 计算。 复杂。 28 ( 2 ) : 185-239 ( 2019 ) [公元21年] 阿诺德·贝克曼 , 萨姆·巴斯 , 西德维德·弗里德曼 , 莫里茨·米勒 , 尼尔·萨彭 :
可行的集合函数具有较小的电路。 计算。 8 ( 1 ) : 67-98 ( 2019 ) [第13条] 尼古拉·加莱西 , Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
多项式微积分空间和分辨率宽度。 光纤通信系统 2019 : 1325-1337 [第12条] 萨姆·巴斯 , 尼尔·萨彭 :
DRAT证明、传播冗余和扩展分辨率。 坐 2019 : 71-89 [第14条] 萨姆·巴斯 , 尼尔·萨彭 :
没有新变量的DRAT和传播冗余证明。 CoRR公司 abs/1909.00520 ( 2019 ) [i13] 尼古拉·加莱西 , Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
多项式微积分空间和分辨率宽度。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) 2018 [公元20年] 马西莫·劳里亚 , 尼尔·萨彭 :
在系数很小的语义切面上。 信息处理。 莱特。 136 : 70-75 ( 2018 ) [i12] Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
近似计数和NP搜索问题。 CoRR公司 abs/1812.10771 ( 2018 ) 2017 [公元19年] 马西莫·劳里亚 , 帕维尔·普德拉克 , Vojtech罗德尔 , 尼尔·萨彭 :
证明一个图是Ramsey的复杂性。 梳子。 37 ( 2 ) : 253-268 ( 2017 ) [第11条] 帕维尔·普德拉克 , 尼尔·萨彭 :
随机解决退款。 CCC公司 2017 : 1:1-1:10 2016 [公元18年] 阿诺德·贝克曼 , 萨姆·巴斯 , 西德维德·弗里德曼 , 莫里茨·米勒 , 尼尔·萨彭 :
Cobham递归集函数。 Ann.纯粹应用。 日志。 167 ( 三 ) : 335-369 ( 2016 ) [公元17年] 伊拉里奥·博纳西纳 , 尼古拉·加莱西 , 尼尔·萨彭 :
分辨率中的总空间。 SIAM J.计算。 45 ( 5 ) : 1894-1909年 ( 2016 ) [公元16年] 尼尔·萨彭 :
分辨率中长度和宽度之间的权衡。 理论计算。 12 ( 1 ) : 1-14 ( 2016 ) [i11] 帕维尔·普德拉克 , 尼尔·萨彭 :
随机解决反驳。 电子。 计算机学术讨论会。 复杂。 16号机房 ( 2016 ) 2015 [公元15年] Yuval Filmus公司 , 马西莫·劳里亚 , 雅各布·诺德斯特伦 , 诺加·隆·泽维 , 尼尔·萨彭 :
多项式微积分中的空间复杂性。 SIAM J.计算。 44 ( 4 ) : 1119-1153 ( 2015 ) [第10条] 尼古拉·加莱西 , 帕维尔·普德拉克 , 尼尔·萨彭 :
切割平面的空间复杂性。 CCC公司 2015 : 433-447 2014 [公元14年] 比约恩·科霍斯·汉森 , 安托万·塔维内奥 , 尼尔·萨彭 :
统计需要多少随机性? Ann.纯粹应用。 日志。 165 ( 9 ) : 1470-1483 ( 2014 ) [j13] 塞缪尔·巴斯 , Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
近似计数片段。 J.塞姆。 日志。 79 ( 2 ) : 496-525 ( 2014 ) [公元12年] 阿诺德·贝克曼 , 帕维尔·普德拉克 , 尼尔·萨彭 :
对等游戏和命题证明。 ACM事务处理。 计算。 日志。 15 ( 2 ) : 17:1-17:30 ( 2014 ) [公元11年] 阿尔伯特·阿塞里亚斯 , 尼尔·萨彭 :
近似计数片段中的排序原则。 ACM事务处理。 计算。 日志。 15 ( 4 ) : 29:1-29:11 ( 2014 ) 【c9】 伊拉里奥·博纳西纳 , 尼古拉·加莱西 , 尼尔·萨彭 :
分辨率中的总空间。 光纤通信系统 2014 : 641-650 [i10] 伊拉里奥·博纳西纳 , 尼古拉·加莱西 , 尼尔·萨彭 :
分辨率中的总空间。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) [第九章] 尼古拉·加莱西 , 帕维尔·普德拉克 , 尼尔·萨彭 :
切割平面反驳的空间复杂性。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) [i8] 尼尔·塔彭 :
分辨率中长度和宽度之间的权衡。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) 2013 【c8】 马西莫·劳里亚 , 帕维尔·普德拉克 , Vojtech罗德尔 , 尼尔·萨彭 :
证明图是拉姆齐的复杂性。 ICALP(一) 2013 : 684-695 【c7】 阿诺德·贝克曼 , 帕维尔·普德拉克 , 尼尔·萨彭 :
对等游戏和命题证明。 MFCS公司 2013 : 111至122 [i7] 马西莫·劳里亚 , 帕维尔·普德拉克 , Vojtech罗德尔 , 尼尔·萨彭 :
证明一个图是Ramsey的复杂性。 CoRR公司 abs/1303.3166 ( 2013 ) [i6] 阿尔伯特·阿塞里亚斯 , 尼尔·萨彭 :
近似计数片段中的排序原则。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) [i5] 马西莫·劳里亚 , 帕维尔·普德拉克 , Vojtech罗德尔 , 尼尔·萨彭 :
证明一个图是Ramsey的复杂性。 电子。 计算机学术讨论会。 复杂。 第13页 ( 2013 ) [i4] 帕维尔·普德拉克 , 阿诺德·贝克曼 , 尼尔·萨彭 :
对等游戏和命题证明。 电子。 计算机学术讨论会。 复杂。 第13页 ( 2013 ) 2012 [公元10年] 帕维尔·普德拉克 , 尼尔·萨彭 :
交替最小值和最大值,纳什均衡和有界算法。 Ann.纯粹应用。 日志。 163 ( 5 ) : 604-614 ( 2012 ) 【c6】 比约恩·科霍斯·汉森 , 安托万·塔维内奥 , 尼尔·萨彭 :
统计需要多少随机性? CiE公司 2012 : 395-404 【c5】 Yuval Filmus公司 , 马西莫·劳里亚 , 雅各布·诺德斯特伦 , 尼尔·萨彭 , 诺加·隆·泽维 :
多项式微积分中的空间复杂性。 CCC公司 2012 : 334-344 [i3] Yuval Filmus公司 , 马西莫·劳里亚 , 雅各布·诺德斯特伦 , 诺加·隆·泽维 , 尼尔·萨彭 :
多项式微积分中的空间复杂性。 电子。 计算机学术讨论会。 复杂。 12号机房 ( 2012 ) 2011 [公元9年] 尼尔·萨彭 :
有界算法和形式化no-gap定理的高复杂度搜索问题。 架构(architecture)。 数学。 日志。 50 ( 7-8 ) : 665-680 ( 2011 ) [j8] Leszek Aleksander Kolodziejczyk公司 , Phuong Nguyen公司 , 尼尔·萨彭 :
弱二阶有界算法的可证明全NP搜索问题。 Ann.纯粹应用。 日志。 162 ( 6 ) : 419-446 ( 2011 )
2000 – 2009
2009 [j7] Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
V中的多项式和线性时间层次 0 . 数学。 日志。 问:。 55 ( 5 ) : 509-514 ( 2009 ) 2008 [j6] Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
弱鸽子洞原理失效的模型中的多项式和线性层次。 J.塞姆。 日志。 73 ( 2 ) : 578-592 ( 2008 ) 2007 [j5] 扬·克拉切克 , 阿兰·斯凯利 , 尼尔·萨彭 :
有界算法低片段中的NP搜索问题。 J.塞姆。 日志。 72 ( 2 ) : 第649-672页 ( 2007 ) 【c4】 Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
V中的多项式和线性层次 0 . CiE公司 2007 : 408-415 2006 【j4】 史提芬·古克 , 尼尔·萨彭 :
弱运算中替换的强度。 ACM事务处理。 计算。 日志。 7 ( 4 ) : 749-764 ( 2006 ) 2005 [j3] 尼尔·萨彭 , 迈克尔·索尔提斯 :
弱线性代数理论。 架构(architecture)。 数学。 日志。 44 ( 2 ) : 195-208 ( 2005 ) [注2] 尼尔·萨彭 :
有界算术模型中可解释的结构。 Ann.纯粹应用。 日志。 136 ( 三 ) : 247-266 ( 2005 ) 【c3】 尼古拉·加莱西 , 尼尔·萨彭 :
解决方案和圆石游戏。 坐 2005 : 76至90 2004 【c2】 尼古拉·加莱西 , 尼尔·萨彭 :
lamda-局部公式上树状系统的复杂性。 CCC公司 2004 : 68-74 【c1】 史提芬·古克 , 尼尔·萨彭 :
弱算术中置换的强度。 低收入国家 2004 : 256-264 [i2] 史提芬·古克 , 尼尔·萨彭 :
弱运算中替换的强度。 CoRR公司 完。 LO/0409015号 ( 2004 ) [i1] 尼古拉·加莱西 , 尼尔·塔彭 :
分辨率和鹅卵石游戏。 电子。 计算机学术讨论会。 复杂。 TR04型 ( 2004 ) 2002 [j1] 尼尔·萨彭 :
弱鸽笼原理的模型理论表征。 Ann.纯粹应用。 日志。 118 ( 1-2 ) : 175-195 ( 2002 )