编辑配置文件(在新选项卡中打开) 雅各布诺德斯特伦 合著者距离 作者ID: 挪威雅各布 发布日期: 雅各布诺德斯特伦;雅各布诺德斯特罗姆 外部链接: MGP公司 已编制索引的文档: 39出版物自2006年以来,包括1个附加arXiv预打印 1名编辑贡献 合著者: 31位合著者具有34联合出版物 662合著作者 全部的 前5名合著者 6 单作者的 12 马西莫·劳里亚 8 苏珊娜·德·雷泽德(Susanna F.de Rezende)。 8 马克·维尼亚尔斯 5 米克萨,姆拉丹 4 阿尔伯特·阿塞里亚斯 4 简·埃尔弗斯 4 尤瓦尔·菲莫斯 4 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 三 克里斯托夫·伯克霍尔茨 三 罗伯特·罗伯雷 2 伊拉里奥·博纳西纳 2 吉拉尔德斯·克鲁,杰苏斯 2 安布罗斯·格雷克斯纳(Ambros M.Gleixner)。 2 约翰·托克尔·Hástad 2 詹·约翰森 2 迈尔,或 2 托尼安·皮塔西 1 乔·阿尔文 1 克里斯·贝克 1 乔·德弗里安特 1 斯蒂芬·戈赫特 1 米卡·哥尔斯 1 亚历山大·霍恩 1 Trinh N.D.Huynh。 1 纪尧姆·拉加德 1 托马斯·马格纳德 1 安迪·厄特尔 1 里斯,基里安 1 约瑟夫·斯威诺夫斯基 1 唐邦生 1 尼尔·塔彭 全部的 前5名系列 三 SIAM计算机杂志 三 ACM计算逻辑事务 2 计算复杂性 1 信息处理信函 1 约束条件 1 美国医学会杂志 1 Oberwolfach报告 1 计算机科学中的逻辑方法 1 计算理论 全部的 前5名领域 31 计算机科学(68至XX) 27 数学逻辑和基础(03-XX) 5 组合数学(05-XX) 4 运筹学、数学规划(90-XX) 三 交换代数(13-XX) 1 一般性和全局性主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用181中的次82文件 引用人▼ 年份▼ 圆石游戏、证明复杂性和时空权衡。 兹比尔1285.03070 雅各布诺德斯特罗姆 22 2013 凭借简洁证明的优点,将通信复杂性的难度放大到证明复杂性的时空权衡。 Zbl 1286.68234号 特林·休恩;雅各布诺德斯特伦 17 2012 狭义证明可能最长。 Zbl 1367.03104号 阿尔伯特·阿塞里亚斯;马西莫·劳里亚;雅各布诺德斯特伦 14 2016 多项式微积分的一些权衡结果(扩展抽象)。 Zbl 1293.03031号 克里斯·贝克;雅各布诺德斯特罗姆;唐邦生 13 2013 狭义的校样可能很宽敞:在分辨率上分隔空间和宽度。 Zbl 1192.03042号 雅各布诺德斯特伦 11 2009 理解多项式微积分:新的分离和下限(扩展抽象)。 Zbl 1336.03065号 尤瓦尔·菲莫斯;马西莫·劳里亚;米克萨,姆拉丹;雅各布诺德斯特伦;马克·维尼亚尔斯 11 2013 一般来说,集团很难定期解决。 Zbl 1427.68102号 阿尔伯特·阿塞里亚斯;伊拉里奥·博纳西纳;苏珊娜·德·雷泽德(Susanna F.de Rezende)。;马西莫·劳里亚;雅各布诺德斯特伦;亚历山大·拉兹博罗夫 8 2018 证明权衡结果以解决问题的简化方法。 Zbl 1202.68388号 雅各布诺德斯特伦 8 2009 介于分辨率和切割平面之间:伪布尔SAT求解的证明系统研究。 Zbl 1508.03046号 马克·维尼亚尔斯;简·埃尔弗斯;吉拉尔德斯·克鲁,杰苏斯;斯蒂芬·戈赫特;雅各布诺德斯特伦 6 2018 在分辨率上实现空间和长度的最佳分离。 Zbl 1366.68098号 雅各布诺德斯特伦;约翰·Hástad 6 2013 关于运球和决心的相对强度。 Zbl 1352.03069号 雅各布诺德斯特伦 5 2012 使用组合基准来探索伪布尔解算器的推理能力。 兹比尔1511.68246 简·埃尔弗斯;吉拉尔德斯·克鲁,杰苏斯;雅各布诺德斯特伦;马克·维尼亚尔斯 5 2018 证明多项式微积分次下界的一种广义方法。 Zbl 1434.03134号 米克萨,姆拉丹;雅各布诺德斯特伦 5 2015 在分辨率上实现空间和长度的最佳分离。 Zbl 1231.68243号 雅各布诺德斯特伦;约翰·Hástad 5 2008 量词深度和Weisfeiler-Leman精化步骤的近最优下界。 Zbl 1394.03052号 克里斯托夫·伯克霍尔茨;雅各布诺德斯特伦 5 2016 多项式微积分中的空间复杂性。 Zbl 1372.03099号 尤瓦尔·菲莫斯;马西莫·劳里亚;雅各布诺德斯特伦;罗恩·泽维,诺加;尼尔·萨彭 4 2015 累积空间中的黑白卵石和分辨率。 Zbl 1402.68079号 乔·阿尔文;苏珊娜·德·雷泽德(Susanna F.de Rezende)。;雅各布诺德斯特伦;马克·维尼亚尔斯 4 2017 分辨率从小空间到小宽度。 Zbl 1367.03105号 尤瓦尔·菲莫斯;马西莫·劳里亚;米克萨,姆拉丹;雅各布诺德斯特伦;马克·维尼亚尔斯 三 2015 平方和证明的严格尺寸-角度界限。 Zbl 1422.03125号 马西莫·劳里亚;雅各布诺德斯特伦 三 2017 通过提升简化并改进了常规分辨率和常规分辨率之间的分离。 Zbl 07331021号 马克·维尼亚尔斯;简·埃尔弗斯;詹·约翰森;雅各布诺德斯特伦 三 2020 狭长的校样可以是宽敞的,在分辨率上分隔空间和宽度。 Zbl 1301.03060号 雅各布诺德斯特伦 三 2006 分辨率从小空间到小宽度。 Zbl 1359.03042号 尤瓦尔·菲莫斯;马西莫·劳里亚;米克萨,姆拉丹;雅各布诺德斯特伦;马克·维尼亚尔斯 三 2014 简单公式的长证明。 Zbl 1423.68463号 米克萨,姆拉丹;雅各布诺德斯特伦 2 2014 平方和证明的严格尺寸-角度界限。 Zbl 1422.03126号 马西莫·劳里亚;雅各布诺德斯特伦 2 2015 在CDCL SAT解算器的更紧凑模型中,在时间和内存之间进行权衡。 Zbl 1475.68343号 简·埃尔弗斯;詹·约翰森;马西莫·劳里亚;托马斯·麦格纳德;雅各布诺德斯特伦;马克·维尼亚尔斯 2 2016 Nullstellensatz从可逆卵石中进行尺寸-角度权衡。 Zbl 1522.03320号 苏珊娜·F·德·雷岑德。;雅各布诺德斯特伦;迈尔,或;罗伯特·罗伯雷 2 2019 基于Hilbert的Nullstellensatz和Gröbner基的算法很难实现图形着色。 Zbl 1440.68105号 马西莫·劳里亚;雅各布诺德斯特伦 2 2017 超临界空间宽度的折衷解决方案。 Zbl 1387.03065号 克里斯托夫·伯克霍尔茨;雅各布诺德斯特伦 1 2016 一般来说,集团很难定期解决。 Zbl 1499.68129号 阿尔伯特·阿塞里亚斯;伊拉里奥·博纳西纳;苏珊娜·德·雷泽德(Susanna F.De Rezende)。;马西莫·劳里亚;雅各布诺德斯特伦;亚历山大·拉兹博罗夫 1 2021 稀疏图上弱鸽子洞原理和完美匹配公式的指数分辨率下界。 Zbl 07561756号 苏珊娜·德·雷泽德(Susanna F.De Rezende)。;雅各布诺德斯特伦;基里安·里瑟;德米特里·索科洛夫 1 2020 多项式微积分中大小和次数之间的权衡。 Zbl 07650420号 纪尧姆·拉加德;雅各布诺德斯特伦;德米特里·索科洛夫;约瑟夫·斯威诺夫斯基 1 2020 Nullstellensatz从可逆卵石中进行尺寸-角度权衡。 Zbl 1522.03319号 苏珊娜·德·雷泽德(Susanna F.De Rezende)。;迈尔,或;雅各布诺德斯特伦;罗伯特·罗伯雷 1 2021 否定推理的力量。 Zbl 07711622号 苏珊娜·德·雷泽德(Susanna F.De Rezende)。;马西莫·劳里亚;雅各布诺德斯特伦;德米特里·索科洛夫 1 2021 学会放松:将0-1整数线性规划与伪布尔冲突驱动搜索相结合。 Zbl 1524.68342号 乔·德弗里安特;安布罗斯·格莱克斯纳;雅各布诺德斯特伦 1 2021 一般来说,集团很难定期解决。 兹比尔1499.68129 阿尔伯特·阿塞里亚斯;伊拉里奥·博纳西纳;苏珊娜·德·雷泽德(Susanna F.De Rezende)。;马西莫·劳里亚;雅各布诺德斯特伦;亚历山大·拉兹博罗夫 1 2021 Nullstellensatz从可逆卵石中进行尺寸-角度权衡。 Zbl 1522.03319号 苏珊娜·F·德·雷岑德。;迈尔,或;雅各布诺德斯特伦;罗伯特·罗伯雷 1 2021 否定推理的力量。 Zbl 07711622号 苏珊娜·德·雷泽德(Susanna F.De Rezende)。;马西莫·劳里亚;雅各布诺德斯特伦;德米特里·索科洛夫 1 2021 学会放松:将0-1整数线性规划与伪布尔冲突驱动搜索相结合。 Zbl 1524.68342号 乔·德弗里安特;安布罗斯·格莱克斯纳;雅各布诺德斯特伦 1 2021 通过提升简化并改进了常规分辨率和常规分辨率之间的分离。 Zbl 07331021号 马克·维尼亚尔斯;简·埃尔弗斯;詹·约翰森;雅各布诺德斯特伦 三 2020 稀疏图上弱鸽子洞原理和完美匹配公式的指数分辨率下界。 Zbl 07561756号 苏珊娜·德·雷泽德(Susanna F.De Rezende)。;雅各布诺德斯特伦;基里安·里瑟;德米特里·索科洛夫 1 2020 多项式微积分中大小和次数之间的权衡。 Zbl 07650420号 纪尧姆·拉加德;雅各布诺德斯特伦;德米特里·索科洛夫;约瑟夫·斯威诺夫斯基 1 2020 Nullstellensatz从可逆卵石中进行尺寸-角度权衡。 Zbl 1522.03320号 苏珊娜·德·雷泽德(Susanna F.De Rezende)。;雅各布诺德斯特伦;迈尔,或;罗伯特·罗伯雷 2 2019 一般来说,集团很难定期解决。 Zbl 1427.68102号 阿尔伯特·阿塞里亚斯;伊拉里奥·博纳西纳;苏珊娜·德·雷泽德(Susanna F.de Rezende)。;马西莫·劳里亚;雅各布诺德斯特伦;亚历山大·拉兹博罗夫 8 2018 介于分辨率和切割平面之间:伪布尔SAT求解的证明系统研究。 Zbl 1508.03046号 马克·维尼亚尔斯;埃尔弗斯,简;吉拉尔德斯·克鲁,杰苏斯;斯蒂芬·戈赫特;雅各布诺德斯特伦 6 2018 使用组合基准来探索伪布尔解算器的推理能力。 Zbl 1511.68246号 简·埃尔弗斯;吉拉尔德斯·克鲁杰苏斯;雅各布诺德斯特伦;马克·维尼亚尔斯 5 2018 累积空间中的黑白卵石和分辨率。 Zbl 1402.68079号 乔·阿尔文;苏珊娜·德·雷泽德(Susanna F.de Rezende)。;雅各布诺德斯特伦;马克·维尼亚尔斯 4 2017 平方和证明的严格尺寸-角度界限。 Zbl 1422.03125号 马西莫·劳里亚;雅各布诺德斯特伦 三 2017 基于Hilbert的Nullstellensatz和Gröbner基的算法很难实现图形着色。 Zbl 1440.68105号 马西莫·劳里亚;雅各布诺德斯特伦 2 2017 狭义证明可能最长。 Zbl 1367.03104号 阿尔伯特·阿塞里亚斯;马西莫·劳里亚;雅各布诺德斯特伦 14 2016 量词深度和Weisfeiler-Leman精化步骤的近最优下界。 Zbl 1394.03052号 克里斯托夫·伯克霍尔茨;雅各布诺德斯特伦 5 2016 CDCL SAT求解器的更紧密模型中时间和内存之间的权衡。 Zbl 1475.68343号 简·埃尔弗斯;詹·约翰森;马西莫·劳里亚;托马斯·马格纳德;雅各布诺德斯特伦;马克·维尼亚尔斯 2 2016 超临界空间宽度的折衷解决方案。 Zbl 1387.03065号 克里斯托夫·伯克霍尔茨;雅各布诺德斯特伦 1 2016 证明多项式微积分次数下界的一种广义方法。 Zbl 1434.03134号 米克萨,姆拉丹;雅各布诺德斯特伦 5 2015 多项式微积分中的空间复杂性。 Zbl 1372.03099号 尤瓦尔·菲莫斯;马西莫·劳里亚;雅各布诺德斯特伦;罗恩·泽维,诺加;尼尔·萨彭 4 2015 分辨率从小空间到小宽度。 Zbl 1367.03105号 尤瓦尔·菲莫斯;马西莫·劳里亚;米克萨,姆拉丹;雅各布诺德斯特伦;马克·维尼亚尔斯 三 2015 平方和证明的严格尺寸-角度界限。 Zbl 1422.03126号 马西莫·劳里亚;雅各布诺德斯特伦 2 2015 分辨率从小空间到小宽度。 Zbl 1359.03042号 尤瓦尔·菲莫斯;马西莫·劳里亚;米克萨,姆拉丹;雅各布诺德斯特伦;马克·维尼亚尔斯 三 2014 (看似)简单公式的长证明。 Zbl 1423.68463号 米克萨,姆拉丹;雅各布诺德斯特伦 2 2014 圆石游戏、验证复杂性和时空权衡。 Zbl 1285.03070号 雅各布诺德斯特罗姆 22 2013 多项式微积分的一些权衡结果(扩展摘要)。 Zbl 1293.03031号 克里斯·贝克;雅各布诺德斯特罗姆;唐邦生 13 2013 理解多项式微积分:新的分离和下限(扩展抽象)。 Zbl 1336.03065号 尤瓦尔·菲莫斯;马西莫·劳里亚;米克萨,姆拉丹;雅各布诺德斯特伦;马克·维尼亚尔斯 11 2013 在分辨率上实现空间和长度的最佳分离。 Zbl 1366.68098号 雅各布诺德斯特伦;约翰·Hástad 6 2013 凭借简洁证明的优点,将通信复杂性的难度放大到证明复杂性的时空权衡。 Zbl 1286.68234号 特林·休恩;雅各布诺德斯特伦 17 2012 关于鹅卵石的相对强度和分辨率。 Zbl 1352.03069号 雅各布诺德斯特伦 5 2012 狭义的校样可能很宽敞:在分辨率上分隔空间和宽度。 Zbl 1192.03042号 雅各布诺德斯特伦 11 2009 证明权衡结果以解决问题的简化方法。 Zbl 1202.68388号 雅各布诺德斯特伦 8 2009 在分辨率上实现空间和长度的最佳分离。 Zbl 1231.68243号 雅各布诺德斯特伦;约翰·Hástad 5 2008 狭长的校样可以是宽敞的,在分辨率上分隔空间和宽度。 Zbl 1301.03060号 雅各布诺德斯特伦 三 2006 所有引用出版物 前5名被引用出版物 全部的 前5名129位作者引用 14 雅各布诺德斯特伦 10 马西莫·劳里亚 7 米卡·哥尔斯 5 尼古拉·加莱西 5 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 5 尼尔·萨彭 4 阿尔伯特·阿塞里亚斯 4 奥拉夫·拜尔斯多夫 4 伊拉里奥·博纳西纳 4 苏珊娜·德·雷泽德(Susanna F.de Rezende)。 4 尤瓦尔·菲莫斯 4 托尼安·皮塔西 4 罗伯特·罗伯 4 马克·维尼亚尔斯 三 克里斯托夫·伯克霍尔茨 三 Heule,Marijn J.H。 2 保罗·比姆。 2 Randal E.布莱恩特。 2 Samuel R.巴斯。 2 亚历克西斯·德·科尔内 2 罗素·英帕利亚佐 2 普里蒂什·卡马特 2 米纳·马哈扬 2 梅尔,或者 2 斯特凡·蒙格尔 2 庞硕 2 约瑟夫·里夫斯(Joseph E.Reeves)。 2 阿维亚德·鲁宾斯坦 2 濑户县 2 德米特里·索科列夫 2 托马斯·沃森 1 乔·阿尔文 1 本尼·阿普勒巴姆 1 阿齐齐·苏尔坦、艾哈迈德·沙赫 1 克里斯·贝克 1 帕特里克·贝内特 1 阿明·比尔 1 艾哈迈德·比尼亚兹 1 乔舒亚·布林霍恩 1 巴特·博加特 1 本杰明·伯姆 1 恩里克·博伊克斯·阿泽拉 1 玛丽亚·路易莎·博内 1 保罗·邦斯玛(Paul S.Bonsma)。 1 艾伦·B·博罗丁。 1 马修·D·布伦南。 1 盖·布雷斯勒 1 蔡少伟 1 阿尔卡德夫查托帕迪亚伊 1 陈树伟 1 勒罗伊·周 1 洛伦佐·克莱门特 1 丹切夫、斯特凡·斯托亚诺夫 1 西蒙·德·吉夫里 1 沃尔夫·德·沃尔夫 1 乔·德弗里安特 1 德莱贾,萨迪厄斯 1 简·埃尔弗斯 1 诺亚·弗莱明 1 安基特·加格 1 安布罗斯·格雷克斯纳(Ambros M.Gleixner)。 1 马丁·格罗 1 马修·格温 1 托马斯·哈科尼米 1 约翰·托克尔·Hástad 1 何兴兴 1 卢克·欣德 1 霍尔格·H·胡斯。 1 托尼·休恩 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 Imanishi、Kensuke 1 Dmitry M.Itsykson。 1 川崎岩马 1 杰恩,克什提吉 1 拉胡尔·贾恩 1 詹·约翰森 1 乔治·卡特西雷洛斯 1 桑德拉·基弗 1 本杰明·基尔 1 安东尼娜·科洛科洛娃 1 米查尔·库克 1 亚历山大·科扎钦斯基 1 奥利弗·库尔曼 1 丹尼尔·勒贝雷 1 雷振东 1 刘军 1 刘全泉C。 1 布鲁诺·洛夫 1 沙查·洛维特 1 安娜·卢比夫 1 罗,川 1 托马斯·马格纳德 1 若昂·席尔瓦侯爵。 1 巴纳比·D·马丁。 1 马萨罗娃,祖扎纳 1 理查德·梅尔(Richard M.Mayr)。 1 伊恩·默茨 1 米克萨,姆拉丹 1 蒂尔曼·米尔佐夫 1 迈克尔·S·O·莫洛伊。 …还有29位作者 全部的 前5名引用于22个系列 12 SIAM计算机杂志 6 计算复杂性 5 ACM计算逻辑事务 5 计算机科学中的逻辑方法 4 信息处理信函 4 自动推理杂志 三 信息与计算 三 计算理论 2 理论计算机科学 1 人工智能 1 信息科学 1 计算机与系统科学杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 人工智能研究杂志 1 约束条件 1 计算系统理论 1 美国医学会杂志 1 离散数学和理论计算机科学。DMTCS公司 1 跨学科信息科学(IIS) 1 泛逻辑 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名在9个字段中引用 65 计算机科学(68至XX) 48 数学逻辑和基础(03-XX) 7 组合数学(05-XX) 7 运筹学、数学规划(90-XX) 4 交换代数(13-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 一般性和全局性主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文