编辑配置文件（在新选项卡中打开） 内森·穆尔 合著者距离 作者ID： 毛尔纳坦 发布日期： 内森·穆尔 已编制索引的文档： 3出版物自2016年起 合著者： 4位合著者具有3联合出版物 173位合作作者 合著者 0 单作者的 2 庞硕 2 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 1 丹尼尔·弗里蒙特。 1 桑吉特·阿伦库马尔 系列 1 SIAM计算机杂志 领域 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用8中的次8文件 引用人▼ 年份▼ SAT的硬度与社区结构。 Zbl 1475.68353号 内森·穆尔；丹尼尔·弗里蒙特。；Sanjit A.Seshia。 5 2016 基于CDCL的有序决策证明系统。 Zbl 1523.68166号 内森·穆尔；庞硕；亚历山大·拉兹博罗夫 三 2020 基于CDCL的有序决策证明系统。 Zbl 1523.68166号 内森·穆尔；庞硕；亚历山大·拉兹博罗夫 三 2020 SAT的硬度与社区结构。 Zbl 1475.68353号 内森·穆尔；丹尼尔·弗里蒙特。；Sanjit A.Seshia。 5 2016 所有引用出版物 前5名被引用出版物 全部的 前5名21位作者引用 2 托拜厄斯·弗里德里希 2 约尔迪·利维 2 内森·穆尔 2 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 2 罗森伯格（Ralf Rothenberger） 1 奥拉夫·拜尔斯多夫 1 托马斯·巴西乌斯 1 本杰明·伯姆 1 乔纳森·钟 1 诺亚·弗莱明 1 丹尼尔·弗里蒙特。 1 维杰·加内什 1 吉拉尔德斯·克鲁，杰苏斯 1 安德烈亚斯·尼科拉斯·哥贝尔 1 安东尼娜·科洛科洛娃 1 李春晓 1 艾丽斯·穆伊 1 穆克吉、索姆 1 庞硕 1 桑吉特·阿伦库马尔 1 马克·维尼亚尔斯 4篇连载文章中引用 1 人工智能 1 SIAM计算机杂志 1 随机结构与算法 1 计算机科学中的逻辑方法 在3个字段中引用 8 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文