编辑配置文件（在新选项卡中打开） 尼古拉·加莱西 合著者距离 作者ID： 伽列西·尼科拉 发布日期： 尼古拉·加莱西;北加莱西。 外部链接： MGP公司 已编制索引的文档： 41出版物自1997年以来，包括1个附加arXiv预打印 合著者： 35位合著者具有40联合出版物 845位合作作者 全部的 前5名合著者 1 单作者的 10 马西莫·劳里亚 7 伊拉里奥·博纳西纳 6 奥拉夫·拜尔斯多夫 4 玛丽亚·路易莎·博内 三 阿尔伯特·阿塞里亚斯 三 丹切夫、斯特凡·斯托亚诺夫 三 胡安·路易斯·埃斯特班 三 巴纳比·D·马丁。 三 尼尔·萨彭 2 里卡德·加瓦尔达 2 托尼·休恩 2 Dmitry M.Itsykson。 2 Jochen Messner先生 2 帕维尔·普德拉克 2 法拉巴·兰杰巴尔 2 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 2 阿图尔·里亚扎诺夫 2 阿纳斯塔西亚索夫罗诺娃 2 纳维德·塔利班 2 雅各布·托兰 2 保罗·沃尔兰 2 米歇尔·齐托 1 朱塞佩·阿特尼塞 1 伊莱·本·萨森 1 帕特里克·贝内特 1 约书亚·伯雷什·奥彭海姆 1 萨尔瓦多卡波拉索 1 洛伦佐·卡卢奇 1 安东尼奥·法奥尼奥 1 胡里，什洛莫 1 约翰森，简 1 奥利弗·库尔曼 1 阿夫纳·马根 1 迈克尔·S·O·莫洛伊。 1 托尼安·皮塔西 全部的 前5名系列 三 信息处理信件 三 理论计算机科学 三 ACM计算逻辑事务 2 SIAM计算机杂志 2 计算复杂性 2 ACM计算理论汇刊 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 随机结构与算法 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学逻辑档案 1 数学逻辑季刊（MLQ） 1 计算系统理论 1 美国医学会杂志 1 计算机科学中的逻辑方法 1 计算理论 全部的 前5名领域 30 数学逻辑和基础（03-XX） 28 计算机科学（68至XX） 8 组合数学（05-XX） 7 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用235中的次134文件 引用人▼ 年份▼ 切割平面程序的秩界和完整性缺口。 Zbl 1213.68328号 约书亚·伯雷什·奥本海姆;尼古拉·加莱西;胡里，什洛莫;阿夫纳·马根;托尼安·皮塔西 23 2006 关于分辨率细化和切面证明系统的相对复杂性。 Zbl 0976.03062号 玛丽亚·路易莎·博内;胡安·路易斯·埃斯特班;尼古拉·加莱西;詹·约翰森 23 2000 分辨率中随机公式的空间复杂性。 Zbl 1048.03046号 伊莱·本·萨森;尼古拉·加莱西 19 2003 分辨率的尺寸-宽度权衡的最佳性。 Zbl 1024.03012号 玛丽亚·路易莎·博内;尼古拉·加莱西 17 2001 树状分辨率大小的特征。 Zbl 1285.68058号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 16 2013 多项式演算中大小级权衡的最优性。 Zbl 1352.03066号 尼古拉·加莱西;马西莫·劳里亚 11 2010 非对称证明者-延迟博弈的树状解析中的鸽子洞原理的下界。 Zbl 1379.03017号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 11 2010 DPLL搜索过程的参数化复杂性。 Zbl 1354.68105号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 10 2013 关于有界连词分解的复杂性。 Zbl 1056.03036号 胡安·路易斯·埃斯特班;尼古拉·加莱西;Jochen Messner先生 10 2004 非单调证明的单调模拟。 Zbl 1034.03054号 阿尔伯特·阿塞里亚斯;尼古拉·加莱西;帕维尔·普德拉克 10 2002 分辨率中的总空间。 Zbl 1402.03080号 伊拉里奥·博纳西纳;尼古拉·加莱西;尼尔·萨彭 9 2016 随机3-CNF的空间证明复杂性。 Zbl 1423.03242号 帕特里克·贝内特;伊拉里奥·博纳西纳;尼古拉·加莱西;托尼·休恩;迈克·莫洛伊;保罗·沃尔兰 7 2017 参数化有界深度Frege不是最优的。 Zbl 1322.68082号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚;亚历山大·拉兹博罗夫。 7 2012 空间证明：当空间是本质时。 Zbl 1378.94019号 朱塞佩·阿特尼塞;伊拉里奥·波纳奇纳;安东尼奥·法奥尼奥;尼古拉·加莱西 7 2014 警察劫匪游戏和塞廷公式的解析。 Zbl 1499.03054号 尼古拉·加莱西;纳维德·塔利班;雅各布·托兰 6 2018 所有图的tseitin公式的有界深度Frege复杂性。 Zbl 07561693号 尼古拉·加莱西;德米特里·伊齐克森;阿图尔·里亚扎诺夫;阿纳斯塔西亚索夫罗诺娃 6 2019 切割平面反驳的空间复杂性。 Zbl 1388.03055号 尼古拉·加莱西;帕维尔·普德拉克;尼尔·萨彭 6 2015 代数证明系统中空间复杂性的框架。 Zbl 1333.03238号 伊拉里奥·博纳西纳;尼古拉·加莱西 5 2015 DPLL搜索过程的参数化复杂性。 Zbl 1330.68099号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 4 2011 伪部分、横截性和局部性，代数证明系统中空间测度的组合特征。 Zbl 1364.03081号 伊拉里奥·博纳西纳;尼古拉·加莱西 4 2013 关于多项式演算的自动化。 Zbl 1211.03025号 尼古拉·加莱西;马西莫·劳里亚 4 2010 多项式时间SAT判定、超图断面和厄米秩。 Zbl 1122.68595号 尼古拉·加莱西;奥利弗·库尔曼 4 2005 鸽子洞原理的单调证明。 Zbl 0989.03065号 阿尔伯特·阿特塞里亚斯;尼古拉·加莱西;里卡德·加瓦尔达 4 2001 分辨率和鹅卵石游戏。 Zbl 1128.03304号 尼古拉·加莱西;尼尔·萨彭 三 2005 警察劫匪游戏和塞廷公式的解析。 Zbl 1499.03055号 尼古拉·加莱西;纳维德·塔利班;雅各布·托兰 2 2020 关于有界连接词分解的复杂性（扩展抽象）。 Zbl 1056.03503号 胡安·路易斯·埃斯特班;尼古拉·加莱西;Jochen Messner先生 2 2002 参数化有界深度Frege不是最优的。 Zbl 1334.03056号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚;亚历山大·拉兹博罗夫 1 2011 多项式语言类的一种可判定和可预测的特征。 Zbl 0952.68062号 卡波拉索，S。;M.齐托。;北加莱西。 1 2001 鸽子洞原理的单调证明。 Zbl 0973.03074号 阿尔伯特·阿塞里亚斯;尼古拉·加莱西;里卡德·加瓦尔达 1 2000 具有替换的Frege系统的线性下限和模拟。 Zbl 0909.03047号 玛丽亚·路易莎·博内;尼古拉·加莱西 1 1998 在布尔网络层析成像下，通过嵌入，在树、网格上定位故障节点的紧边界。 Zbl 07524444号 尼古拉·加莱西;法拉巴·兰杰巴尔 1 2022 在布尔网络断层扫描下，在树、网格和通过嵌入来定位故障节点的紧密边界。 Zbl 07524444号 尼古拉·加莱西;法拉巴·兰杰巴尔 1 2022 警察劫匪游戏和塞廷公式的解析。 Zbl 1499.03055号 尼古拉·加莱西;纳维德·塔利班;雅各布·托兰 2 2020 所有图的tseitin公式的有界深度Frege复杂度。 Zbl 07561693号 尼古拉·加莱西;德米特里·伊齐克森;阿图尔·里亚扎诺夫;阿纳斯塔西亚索夫罗诺娃 6 2019 警察劫匪游戏和塞廷公式的解析。 Zbl 1499.03054号 尼古拉·加莱西;纳维德·塔利班;雅各布·托兰 6 2018 随机3-CNF的空间证明复杂性。 Zbl 1423.03242号 帕特里克·贝内特;伊拉里奥·博纳西纳;尼古拉·加莱西;托尼·休恩;迈克·莫洛伊;保罗·沃尔兰 7 2017 分辨率中的总空间。 Zbl 1402.03080号 伊拉里奥·博纳西纳;尼古拉·加莱西;尼尔·萨彭 9 2016 切割平面反驳的空间复杂性。 Zbl 1388.03055号 尼古拉·加莱西;帕维尔·普德拉克;尼尔·萨彭 6 2015 代数证明系统中空间复杂性的一个框架。 Zbl 1333.03238号 伊拉里奥·波纳奇纳;尼古拉·加莱西 5 2015 空间证明：当空间是本质时。 Zbl 1378.94019号 朱塞佩·阿特尼塞;伊拉里奥·博纳西纳;安东尼奥·法奥尼奥;尼古拉·加莱西 7 2014 树状分辨率大小的特征。 兹比尔1285.68058 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 16 2013 DPLL搜索过程的参数化复杂性。 Zbl 1354.68105号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 10 2013 伪部分、横截性和局部性，代数证明系统中空间测度的组合特征。 Zbl 1364.03081号 伊拉里奥·博纳西纳;尼古拉·加莱西 4 2013 参数化有界深度Frege不是最优的。 Zbl 1322.68082号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚;亚历山大·拉兹博罗夫。 7 2012 DPLL搜索过程的参数化复杂性。 Zbl 1330.68099号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 4 2011 参数化有界深度Frege不是最优的。 Zbl 1334.03056号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚;亚历山大·拉兹博罗夫 1 2011 多项式演算中大小级权衡的最优性。 Zbl 1352.03066号 尼古拉·加莱西;马西莫·劳里亚 11 2010 非对称证明者-延迟博弈的树状解析中的鸽子洞原理的下界。 Zbl 1379.03017号 奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 11 2010 关于多项式演算的自动化。 Zbl 1211.03025号 尼古拉·加莱西;马西莫·劳里亚 4 2010 切割平面程序的秩界和完整性缺口。 兹比尔1213.68328 约书亚·伯雷什·奥彭海姆;尼古拉·加莱西;胡里，什洛莫;阿夫纳·马根;托尼安·皮塔西 23 2006 多项式时间SAT判定、超图断面和厄米秩。 Zbl 1122.68595号 尼古拉·加莱西;奥利弗·库尔曼 4 2005 分辨率和鹅卵石游戏。 Zbl 1128.03304号 尼古拉·加莱西;尼尔·萨彭 三 2005 关于有界连词分解的复杂性。 Zbl 1056.03036号 胡安·路易斯·埃斯特班;尼古拉·加莱西;Jochen Messner先生 10 2004 分辨率中随机公式的空间复杂性。 Zbl 1048.03046号 伊莱·本·萨森;尼古拉·加莱西 19 2003 非单调证明的单调模拟。 Zbl 1034.03054号 阿尔伯特·阿塞里亚斯;尼古拉·加莱西;帕维尔·普德拉克 10 2002 关于有界连接词分解的复杂性（扩展抽象）。 兹比尔1056.03503 胡安·路易斯·埃斯特班;尼古拉·加莱西;Jochen Messner先生 2 2002 尺寸-宽度权衡解决方案的最佳性。 Zbl 1024.03012号 玛丽亚·路易莎·博内;尼古拉·加莱西 17 2001 鸽子洞原理的单调证明。 Zbl 0989.03065号 阿尔伯特·阿塞里亚斯;尼古拉·加莱西;里卡德·加瓦尔达 4 2001 多项式语言类的一种可判定和可预测的特征。 Zbl 0952.68062号 卡波拉索，S。;M.齐托。;北加莱西。 1 2001 关于分辨率细化和切面证明系统的相对复杂性。 Zbl 0976.03062号 玛丽亚·路易莎·博内;胡安·路易斯·埃斯特班;尼古拉·加莱西;詹·约翰森 23 2000 鸽子洞原理的单调证明。 Zbl 0973.03074号 阿尔伯特·阿塞里亚斯;尼古拉·加莱西;里卡德·加瓦尔达 1 2000 具有替换的Frege系统的线性下限和模拟。 Zbl 0909.03047号 玛丽亚·路易莎·博内;尼古拉·加莱西 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名168位作者引用 16 尼古拉·加莱西 16 马西莫·劳里亚 12 奥拉夫·拜尔斯多夫 10 雅各布诺德斯特伦 8 丹切夫、斯特凡·斯托亚诺夫 8 巴纳比·D·马丁。 7 阿尔伯特·阿特塞里亚斯 7 托尼安·皮塔西 5 伊拉里奥·波纳奇纳 5 Samuel R.巴斯。 4 乔舒亚·布林霍恩 4 Dmitry M.Itsykson。 4 埃米尔·杰瓦贝克 4 米查尔·库克 4 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 4 尼尔·萨彭 4 雅各布·托兰 4 马克·维尼亚尔斯 三 尤瓦尔·菲莫斯 三 卢克·欣德 三 詹·约翰森 三 安东尼娜·科洛科洛娃 三 克莱尔·马修 三 马克·罗兹 三 阿图尔·里亚扎诺夫 三 斯泽德，斯特凡 三 伊多·扎梅雷特 三 阿拉斯代尔·厄克哈特 2 保罗·比姆。 2 阿尔卡德夫查托帕迪亚伊 2 勒罗伊·周 2 亚历克西斯·德·科尔内 2 苏珊娜·德·雷泽德（Susanna F.de Rezende）。 2 胡安·路易斯·埃斯特班 2 塞缪尔·菲奥里尼 2 诺亚·弗莱明 2 米卡·哥尔斯 2 罗素·英帕利亚佐 2 瓦伦丁·卡巴内茨 2 亚当·库皮斯 2 米纳·马哈扬 2 莫纳尔多·马斯特罗利利 2 斯特凡·门格尔 2 托拜厄斯·莫克 2 莫里茨·米勒 2 庞硕 2 塞巴斯蒂安·波库塔 2 帕维尔·普德拉克 2 Vojtech公司Rodl 2 阿纳斯塔西亚索夫罗诺娃 2 卡提克Sreenivasaiah 2 纳维德·塔利班 2 维科尔·威尔杜戈 2 安德烈亚斯·威斯 2 弗洛里安·沃兹 2 米歇尔·齐托 1 迈克尔·阿列克诺维奇 1 乔·阿尔文 1 法提·阿姆萨德 1 米盖尔·安霍斯（Miguel F.Anjos）。 1 桑吉夫·阿罗拉 1 朱塞佩·阿特尼塞 1 区民和 1 穆罕默德·巴扎 1 贝克，克里斯 1 帕特里克·贝内特 1 克里斯托夫·伯克霍尔茨 1 托马斯·巴西乌斯 1 Dan Boneh 1 玛丽亚·路易莎·博内 1 哥波尔·布劳恩 1 约书亚·伯雷什·奥彭海姆 1 萨尔瓦多卡波拉索 1 陈龙 1 克拉姆塔克，伊甸园 1 洛伦佐·克莱门特 1 哈罗德·康纳马赫。 1 科里根·吉布斯，亨利 1 尤格什·达希亚 1 维克托·达尔摩 1 达斯，阿努帕姆 1 Dash，桑吉卜 1 罗纳德·米歇尔·德·沃尔夫 1 阿夫吉里诺斯·德尔科斯 1 斯里尼瓦斯·德瓦达斯 1 杜晓江 1 亚特哈特·杜比 1 简·埃尔弗斯 1 丹尼尔·弗朗卡蒂 1 托拜厄斯·弗里德里希 1 罗伯特·加尼安 1 卢德米拉·格林斯基 1 安德烈亚斯·尼科拉斯·哥贝尔 1 迪克莎·古普塔 1 托马斯·哈科尼米 1 布莱恩·希尔德布兰德 1 詹·菲利普·霍夫曼 1 胡里，什洛莫 1 黄磊 1 托尼·休恩 …还有68位作者 全部的 前5名33篇连载文章中引用 12 信息处理信件 9 纯逻辑与应用逻辑年鉴 8 SIAM计算机杂志 8 理论计算机科学 8 计算复杂性 5 ACM计算逻辑事务 4 计算机与系统科学杂志 4 信息与计算 4 计算系统理论 4 计算机科学中的逻辑方法 2 离散应用数学 2 符号逻辑杂志 2 自动推理杂志 2 数学编程。A系列B系列 2 美国医学会杂志 2 可满足性、布尔建模与计算杂志 1 人工智能 1 信息科学 1 Studia Logica公司 1 组合数学 1 SIAM离散数学杂志 1 随机结构与算法 1 美国数学学会公报。新系列 1 数学逻辑季刊（MLQ） 1 人工智能研究杂志 1 符号逻辑公报 1 数学与人工智能年鉴 1 组合优化期刊 1 跨学科信息科学（IIS） 1 RAIRO公司。理论信息学及其应用 1 离散优化 1 数据库的基础和趋势 1 计算机科学评论 全部的 前5名在8个字段中引用 97 计算机科学（68至XX） 84 数学逻辑和基础（03-XX） 18 运筹学、数学规划（90-XX） 6 组合数学（05-XX） 4 信息与通信理论、电路（94-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 交换代数（13-XX） 1 凸和离散几何（52至XX） 按年份列出的引文