编辑配置文件(在新选项卡中打开) 斯蒂芬·戈赫特 合著者距离 作者ID: 戈赫特·斯特潘 发布日期: 斯蒂芬·戈赫特 编入索引的文档: 2出版物自2018年起 合著者: 6位合著者具有2联合出版物 97合著作者 全部的 前5名合著者 0 单作者的 1 简·埃尔弗斯 1 吉拉尔德斯·克鲁,杰苏斯 1 Kuldeep S.梅尔。 1 雅各布诺德斯特伦 1 索斯,马特 1 马克·维尼亚尔斯 系列 领域 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用14中的次14文件 引用人▼ 年份▼ 着色、分离和惰性CNF-XOR求解及其在计数和采样中的应用。 Zbl 1478.68203号 索斯,马特;斯蒂芬·戈赫特;Kuldeep S.梅尔。 8 2020 介于分辨率和切割平面之间:伪布尔SAT求解的证明系统研究。 Zbl 1508.03046号 马克·维尼亚尔斯;简·埃尔弗斯;吉拉尔德斯·克鲁,杰苏斯;斯蒂芬·戈赫特;雅各布诺德斯特伦 6 2018 着色、分离和惰性CNF-XOR求解及其在计数和采样中的应用。 Zbl 1478.68203号 索斯,马特;斯蒂芬·戈赫特;Kuldeep S.梅尔。 8 2020 介于分辨率和切割平面之间:伪布尔SAT求解的证明系统研究。 兹比尔1508.03046 马克·维尼亚尔斯;简·埃尔弗斯;吉拉尔德斯·克鲁,杰苏斯;斯蒂芬·戈赫特;雅各布诺德斯特伦 6 2018 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 3 Kuldeep S.梅尔。 2 阿明·比尔 2 Heule,Marijn J.H。 1 阿利亚斯·阿拉马维 1 维克拉曼·阿尔文德 1 阿齐齐·苏尔坦、艾哈迈德·沙赫 1 李·巴奈特(Lee A.Barnett)。 1 巴特·博加特 1 玛丽亚·路易莎·博内 1 Samuel R.巴斯。 1 查克拉波蒂,苏普拉特克 1 沃尔夫·德·沃尔夫 1 乔·德弗里安特 1 丹尼尔·弗里蒙特。 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 弗罗莱克斯,尼尔斯 1 安德烈亚斯·吉蒂斯 1 安布罗斯·格雷克斯纳(Ambros M.Gleixner)。 1 文凯特桑·古鲁斯瓦米 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 马库斯·伊泽尔 1 Järvisalo,马蒂 1 萨尔弗拉兹省库尔希德 1 丹尼尔·勒贝雷 1 刘振军 1 Joáo P.塞尔瓦侯爵。 1 马希德·穆罕默德利塔伊里希 1 安托尼奥·莫尔加多 1 沃伊切赫·纳罗基 1 雅各布诺德斯特伦 1 吉尔斯·佩森特 1 马丁·苏达 1 埃里克·文 1 罗曼·沃伦 1 王开元 1 王文喜 1 杨炯 4篇连载文章中引用 2 人工智能 1 算法 1 约束条件 1 泛逻辑 在4个字段中引用 13 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 按年份列出的引文