编辑配置文件（在新选项卡中打开） 沃伦·亨特（Warren A.jun Hunt）。 合著者距离 作者ID： 匈牙利沃伦-阿琼 发布方式： 沃伦·亨特（Warren A.jun Hunt）。 主页： 网址：http://www.cs.utexas.edu/~狩猎/ 外部链接： 数据库许可证 已编制索引的文档： 18出版物自1994年以来，包括1本书 2作为编辑的贡献 合著者： 17合著者具有17联合出版物 220名Co-Co作者 全部的 前5名合著者 三 单作者的 5 Heule，Marijn J.H。 4 内森·韦兹勒。 三 马特·考夫曼 三 J Strother摩尔 2 罗伯特·贝拉明·克鲁格 2 桑迪普·雷 2 埃里克·里伯 1 路易斯·克鲁兹·菲利佩 1 达米尔·詹姆斯克 1 大卫·L·拉格。 1 Jun Sawada先生 1 彼得·施奈德·坎普 1 安娜·斯洛博多娃 1 埃里克·惠特曼·史密斯 1 法比奥·萨蒙齐 1 剑，索尔 1 默特坎·特梅尔 系列 三 系统设计中的形式化方法 2 计算机科学课堂讲稿 1 自动推理杂志 领域 20 计算机科学（68至XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用146中的次89文件 引用人▼ 年份▼ DRAT-trim：使用富于表现力的子句证明进行有效的检查和修剪。 Zbl 1423.68475号 内森·韦兹勒;马里恩·赫勒。;沃伦·亨特（Warren A.jun Hunt）。 56 2014 高效认证RAT验证。 Zbl 1494.68284号 路易斯·克鲁兹·菲利佩;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;马特·考夫曼;彼得·施奈德·坎普 23 2017 用扩展的分辨率验证反驳。 Zbl 1381.68270号 马里恩·赫勒。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒 17 2013 在DRAT证明中表示对称破缺。 Zbl 1465.68285号 Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒 12 2015 FM8501：经过验证的微处理器。 Zbl 0875.68008号 沃伦·亨特（Warren A.jun Hunt）。 10 1994 具有扩展分辨率的SAT反驳的机械验证。 Zbl 1317.68236号 内森·韦茨勒;马里恩·赫勒。;沃伦·亨特（Warren A.jun Hunt）。 9 2013 ACL2中的元推理。 Zbl 1152.68522号 沃伦·亨特（Warren A.jun Hunt）。;马特·考夫曼;罗伯特·贝拉明·克鲁格;J.Strother摩尔;埃里克·惠特曼·史密斯 7 2005 ACL2中的线性和非线性算法。 Zbl 1179.68136号 沃伦·亨特（Warren A.jun Hunt）。;罗伯特·贝拉明·克鲁格;J.Strother摩尔 5 2003 使用一阶量化对流水线机器进行演绎验证。 兹比尔1103.68634 桑迪普·雷;沃伦·亨特（Warren A.jun Hunt）。 三 2004 ACL2（SULFA）中不可推算列表公式子类的基于SAT的决策过程。 Zbl 1222.68372号 埃里克·里伯;亨特，沃伦·A·琼。 2 2006 DE2语言的形式化。 Zbl 1159.68324号 亨特，沃伦·A·琼。;埃里克·里伯 1 2005 整数乘数的自动可扩展验证。 Zbl 1478.68178号 默特坎·特梅尔;安娜·斯洛博多娃;沃伦·亨特（Warren A.jun Hunt）。 1 2020 整数乘数的自动可扩展验证。 Zbl 1478.68178号 默特坎·特梅尔;安娜·斯洛博多娃;沃伦·亨特（Warren A.jun Hunt）。 1 2020 高效认证RAT验证。 Zbl 1494.68284号 路易斯·克鲁兹·菲利佩;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;马特·考夫曼;彼得·施奈德·坎普 23 2017 在DRAT证明中表示对称破缺。 Zbl 1465.68285号 Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒 12 2015 DRAT-trim：使用富于表现力的子句证明进行有效的检查和修剪。 Zbl 1423.68475号 内森·韦兹勒;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。 56 2014 用扩展的分辨率验证反驳。 Zbl 1381.68270号 马里恩·赫勒。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒 17 2013 扩展分辨率SAT反驳的机械验证。 Zbl 1317.68236号 内森·韦兹勒;马里恩·赫勒。;沃伦·亨特（Warren A.jun Hunt）。 9 2013 ACL2（SULFA）中不可推算列表公式子类的基于SAT的决策过程。 兹比尔1222.68372 埃里克·里伯;沃伦·亨特（Warren A.jun Hunt）。 2 2006 ACL2中的元推理。 Zbl 1152.68522号 沃伦·亨特（Warren A.jun Hunt）。;马特·考夫曼;罗伯特·贝拉明·克鲁格;J.Strother摩尔;埃里克·惠特曼·史密斯 7 2005 DE2语言的形式化。 Zbl 1159.68324号 沃伦·亨特（Warren A.jun Hunt）。;埃里克·里伯 1 2005 使用一阶量化对流水线机器进行演绎验证。 Zbl 1103.68634号 桑迪普·雷;沃伦·亨特（Warren A.jun Hunt）。 三 2004 ACL2中的线性和非线性算法。 Zbl 1179.68136号 沃伦·亨特（Warren A.jun Hunt）。;罗伯特·贝拉明·克鲁格;J.Strother摩尔 5 2003 FM8501：经过验证的微处理器。 Zbl 0875.68008号 沃伦·亨特（Warren A.jun Hunt）。 10 1994 所有引用出版物 前5名被引用出版物 全部的 前5名164位作者引用 17 Heule，Marijn J.H。 7 阿明·比尔 5 本杰明·基尔 5 摩尔，J·斯特罗瑟 4 Randal E.布莱恩特。 4 利昂·埃夫勒 4 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。 4 彼得·兰米奇 4 马蒂娜·塞德尔 三 巴特·博加特 三 布莱特，柯蒂斯 三 维杰·加内什 三 北卡罗来纳州哈曼。 三 马特·考夫曼 三 科齐里亚斯（Ilias S.Kotsireas）。 三 大卫·E·纳瓦兹（David E.Narváez）。 三 托拜厄斯·菲利普 三 雷，桑迪普 三 曼弗雷德·舍彻 2 Seulkee Baek先生 2 杰里米亚斯·伯格 2 乔舒亚·布拉肯西克 2 张凯文·K·H。 2 路易斯·克鲁兹·菲利佩 2 马蒂亚斯·弗勒里 2 亨特，沃伦·A·琼。 2 马蒂·Järvisalo 2 约翰·麦基 2 菲利普·马里奇 2 玛格努斯·奥·米林。 2 雅各布诺德斯特伦 2 Rebola Pardo，阿德里安 2 约瑟夫·里夫斯（Joseph E.Reeves）。 2 菲利普·吕默 2 彼得·施奈德·坎普 2 布雷特·史蒂文斯 2 汉斯·托姆皮茨 2 迪特尔·范德桑德 2 内森·韦兹勒。 1 马库斯·阿德霍尔德 1 奥斯文·艾奇霍尔泽 1 马里奥·阿尔维亚诺 1 哈桑·阿姆贾德 1 Catia M.安吉洛。 1 杰里米·阿维加德 1 彼得·贝克曼 1 班科维奇，米兰 1 哈尼尔·巴博萨 1 李·巴奈特（Lee A.Barnett）。 1 克拉克·W·巴雷特。 1 贾斯敏·克里斯蒂安·布兰切特 1 玛丽亚·保拉（Maria Paola Bonacina） 1 罗伯特·布鲁托梅索 1 沃尔夫拉姆·伯特纳 1 塞缪尔·R·巴斯。 1 克劳迪娜·朝义亚 1 陈燕 1 勒罗伊·周 1 扎卡里亚·奇哈尼 1 吕克·克莱森 1 科迪什，迈克尔 1 Czarnecki、Krzysztof 1 普拉蒂斯·达塔 1 贾里德戴维斯 1 德曼，H。 1 沃尔夫·德·沃尔夫 1 卡明·多达罗 1 伊凡·德雷村 1 杰弗里·杜德克。 1 拉特纳杜塔 1 克劳斯·埃森菲尔德 1 艾蒂安·法科特 1 Farmer，William M。 1 约翰·克劳斯·费希特 1 福克斯，A.J.C。 1 迈克尔·弗兰克 1 弗罗莱克斯，尼尔斯 1 傅玉福 1 斯蒂芬·戈赫特 1 圣菲省格拉汉·伦格兰德 1 郝克成 1 马库斯·赫彻 1 阿尔伯特·海因勒 1 伊迪丝·赫玛斯潘德拉 1 维姆·赫塞林克。 1 沃伦·朱恩·亨特（Warren jun Hunt）。 1 汉内斯·伊哈莱宁 1 马库斯·伊泽尔 1 阿夫拉罕·伊扎科夫 1 丹尼尔·考夫曼 1 基里恩·克莱默 1 奥利弗·库尔曼 1 扬·肯尔 1 汉娜·拉奇尼特 1 金·斯卡·拉森 1 罗伯特·刘易斯。 1 刘嘉祥 1 诺伯特·曼恩 1 V.Wiktor马雷克 1 Joáo P.塞尔瓦侯爵。 …还有64位作者 全部的 前5名23篇连载文章中引用 17 自动推理杂志 5 计算机科学中的逻辑方法 4 系统设计中的形式化方法 三 计算的形式方面 2 计算几何 2 工程、通信和计算中的应用代数 2 约束条件 2 逻辑与代数程序设计杂志 2 应用逻辑杂志 1 信息学报 1 人工智能 1 ACM数学软件汇刊 1 信息与计算 1 分布式计算 1 数学编程。A系列B系列 1 SIAM优化杂志 1 人工智能研究杂志 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 SIAM应用动力系统杂志 1 ACM计算逻辑事务 1 计算机科学中的数学 1 CGT公司。几何与拓扑计算 全部的 前5名11个领域引用 80 计算机科学（68至XX） 21 数学逻辑和基础（03-XX） 7 组合数学（05-XX） 5 运筹学、数学规划（90-XX） 4 凸和离散几何（52至XX） 4 信息与通信理论、电路（94-XX） 三 数值分析（65-XX） 1 阶、格、有序代数结构（06-XX） 1 实际功能（26年X月X日） 1 几何图形（51至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文