编辑配置文件（在新选项卡中打开） 内森·塞格林德 合著者距离 作者ID： 塞格林·纳桑 发布日期： 内森·塞格林德 外部链接： MGP公司 已编制索引的文档： 11出版物自2002年起 合著者： 5位合著者具有9联合出版物 389位合作作者 合著者 2 单作者的 6 托尼安·皮塔西 4 保罗·比姆。 4 Impagliazzo，拉塞尔 1 Samuel R.巴斯。 1 阿维·威格德森 全部的 前5名系列 三 SIAM计算机杂志 1 信息处理信件 1 计算复杂性 1 符号逻辑公报 1 ACM计算逻辑事务 1 ACM计算理论汇刊 领域 8 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 三 运筹学、数学编程（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用129中的次108文件 引用人▼ 年份▼ 命题证明的复杂性。 兹伯利1133.03037 内森·西格林 52 2007 小限制和（k\）-DNF分辨率下限的切换引理。 Zbl 1059.03063号 内森·塞格林德;萨姆·巴斯;Impagliazzo，拉塞尔 23 2004 Lovász-Schrijver系统和其他系统的下限来自多方通信复杂性。 兹比尔1148.68023 保罗·比姆;托尼安·皮塔西;内森·塞格林德 19 2007 腐败和多方通信不相交复杂性的强直积定理。 Zbl 1125.68054号 保罗·比姆;托尼安·皮塔西;内森·塞格林德;阿维·威格德森 16 2006 类树Lovász-Schrijver过程的指数下界和积分间隙。 Zbl 1242.68117号 托尼安·皮塔西;内森·塞格林德 8 2012 DPLL中的公式缓存。 兹比尔1322.68175 保罗·比姆;Impagliazzo，拉塞尔;托尼安·皮塔西;内森·塞格林德 4 2010 对于\（k\leqsleat\varepsilon\log n\），Res（\（k\））和Res（_（k+1））之间的指数间隔。 Zbl 1173.68714号 内森·塞格林德 三 2005 Lovász-Schrijver系统和其他系统的下限来自多方通信复杂性。 Zbl 1085.68053号 保罗·比姆;托尼安·皮塔西;内森·塞格林德 2 2005 具有计数公理多项式的有界深度Frege系统模拟Nullstellensatz反驳（扩展抽象）。 Zbl 1056.03504号 Impagliazzo，拉塞尔;内森·塞格林德 1 2002 具有计数公理多项式的等深Frege系统模拟了Nullstellensatz反驳。 Zbl 1367.03106号 Impagliazzo，拉塞尔;内森·塞格林德 1 2006 类树Lovász-Schrijver过程的指数下界和积分间隙。 Zbl 1242.68117号 托尼安·皮塔西;内森·塞格林德 8 2012 DPLL中的公式缓存。 Zbl 1322.68175号 保罗·比姆;Impagliazzo，拉塞尔;托尼安·皮塔西;内森·西格林 4 2010 命题证明的复杂性。 兹伯利1133.03037 内森·塞格林德 52 2007 Lovász-Schrijver系统和其他系统的下限来自多方通信复杂性。 Zbl 1148.68023号 比姆，保罗;托尼安·皮塔西;内森·塞格林德 19 2007 腐败和多方通信不相交复杂性的强直积定理。 Zbl 1125.68054号 保罗·比姆;托尼安·皮塔西;内森·塞格林德;阿维·威格德森 16 2006 具有计数公理多项式的等深Frege系统模拟了Nullstellensatz反驳。 Zbl 1367.03106号 Impagliazzo，拉塞尔;内森·塞格林德 1 2006 对于\（k\leqsleat\varepsilon\log n\），Res（\（k\））和Res（_（k+1））之间的指数间隔。 Zbl 1173.68714号 内森·西格林 三 2005 Lovász-Schrijver系统和其他系统的下限来自多方通信复杂性。 Zbl 1085.68053号 保罗·比姆;托尼安·皮塔西;内森·塞格林德 2 2005 小限制和（k\）-DNF分辨率下限的切换引理。 Zbl 1059.03063号 内森·塞格林德;萨姆·巴斯;Impagliazzo，拉塞尔 23 2004 具有计数公理多项式的有界深度Frege系统模拟Nullstellensatz反驳（扩展抽象）。 Zbl 1056.03504号 Impagliazzo，拉塞尔;内森·塞格林德 1 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名139位作者引用 17 奥拉夫·拜尔斯多夫 9 Samuel R.巴斯。 9 马西莫·劳里亚 9 托尼安·皮塔西 6 阿尔伯特·阿特塞里亚斯 6 乔舒亚·布林霍恩 5 阿尔卡德夫查托帕迪亚伊 5 丹切夫、斯特凡·斯托亚诺夫 5 米卡·哥尔斯 5 巴纳比·D·马丁。 4 勒罗伊·周 4 尼古拉·加莱西 4 雅各布诺德斯特伦 4 克里希纳·苏布拉马尼 三 阿尼尔·艾达 三 玛丽亚·路易莎·博内 三 卢克·欣德 三 莫里茨·米勒 三 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 三 亚历山大·谢斯托夫。 三 阿迪·什莱布曼 2 詹姆斯·艾森伯格 2 阿德里安·克雷西恩 2 杰夫·埃德蒙兹（Jeff A.Edmonds）。 2 埃伦·费思 2 尤瓦尔·菲莫斯 2 加布里埃尔·伊斯特拉特。 2 詹·约翰森 2 普里蒂什·卡马特 2 Kleine Büning，汉斯 2 简·克拉契克 2 内森·利尼尔 2 米纳·马哈扬 2 内森·塞格林德 2 濑户县 2 德米特里·索科列夫 2 卡提克Sreenivasaiah 2 尼尔·萨彭 2 伊多·扎梅雷特 2 阿拉斯代尔·厄克哈特 2 托马斯·沃森 2 Wojciechowski，Piotr J。 1 迈克尔·阿列克诺维奇 1 Noriko H.Arai。 1 阿诺德·贝克曼 1 阿莫斯·贝梅尔 1 本·丹尼尔，塞巴斯蒂安 1 阿明·比尔 1 本杰明·伯姆 1 约书亚·伯雷什·奥彭海姆 1 洛伦佐·卡卢奇 1 陈一佳 1 洛伦佐·克莱门特 1 达戈斯蒂诺，马塞洛 1 奥马尔·法齐 1 Fermüller，Christian G。 1 诺亚·弗莱明 1 弗鲁姆，约尔格 1 加贝，多夫·M。 1 安基特·加格 1 米查尔·加利克 1 纳文·戈亚尔 1 埃里希·格拉德尔 1 马丁·格罗 1 顾晓峰 1 托马斯·哈科尼米 1 亚辛·哈穆迪 1 波亚·哈塔米 1 Heule，Marijn J.H。 1 威廉·霍扎（William M.Hoza）。 1 巴维尔·赫鲁贝什 1 Impagliazzo，拉塞尔 1 Dmitry M.Itsykson。 1 川崎岩马 1 拉胡尔·贾恩 1 Järvisalo，马蒂 1 汤米·A·琼蒂拉。 1 马克·卡普兰。 1 安娜·卡林（Anna R.Karlin）。 1 亨利·考茨。 1 本杰明·基尔 1 Kołodziejczyk、Leszek Aleksander 1 萨金·科洛特 1 米查尔·库克 1 奥利弗·库尔曼 1 埃亚尔·库什利维茨 1 奥利弗·库茨 1 蒂莫·朗 1 苏菲·拉普兰特 1 特洛伊·李 1 尼科斯·莱昂纳多斯 1 梁红玉 1 布鲁诺·洛夫 1 沙查·洛维特 1 克莱尔·马修 1 理查德·梅尔（Richard M.Mayr）。 1 梅尔，或者 1 拉胡·梅卡 1 伊恩·默茨 1 桑杰·莫吉尔 …还有39位作者 全部的 前5名32篇连载文章中引用 7 SIAM计算机杂志 7 计算复杂性 6 信息处理信件 6 纯逻辑与应用逻辑年鉴 5 自动推理杂志 4 符号逻辑杂志 4 理论计算机科学 4 信息与计算 4 ACM计算逻辑事务 4 计算机科学中的逻辑方法 2 计算机与系统科学杂志 2 Studia Logica公司 2 计算系统理论 2 美国医学会杂志 2 计算理论 1 离散应用数学 1 组合数学 1 计算的形式方面 1 国际代数与计算杂志 1 国际计算机科学基础杂志 1 数学逻辑档案 1 组合数学、概率与计算 1 人工智能研究杂志 1 符号逻辑公报 1 约束条件 1 组合优化期刊 1 数学年鉴。第二系列 1 跨学科信息科学（IIS） 1 ACM实验算法杂志 1 泛逻辑 1 可满足性、布尔建模与计算杂志 1 离散分析 全部的 前5名在14个字段中引用 78 计算机科学（68至XX） 64 数学逻辑和基础（03-XX） 6 组合数学（05-XX） 5 运筹学、数学编程（90-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 1 数论（11-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 1 拓扑群，李群（22日至XX日） 1 几何图形（51至XX） 1 微分几何（53-XX） 1 流形和细胞复合体（57至XX） 1 量子理论（81-XX） 按年份列出的引文