编辑配置文件（在新选项卡中打开） 罗伯特·纽文胡斯 合著者距离 作者ID： nieuwenhuis.robert公司 发布日期： 罗伯特·纽文胡斯；Nieuwenhuis，R。 已编制索引的文档： 58出版物自1991年起 3作为编辑的贡献 合著者： 33位合著者具有55联合出版物 881位联合作者 全部的 前5名合著者 6 单作者的 21 阿尔伯特·奥利弗拉斯 14 恩里克·罗德里格斯-卡博内尔 10 阿尔伯特·鲁比奥 5 马克·贝泽姆 5 吉勒姆·戈多伊 4 伊格纳西·阿比奥 4 罗伯托·阿斯因 4 哈拉尔德·甘辛格 4 塞萨尔·蒂内利 4 安德烈·沃龙科夫 三 休伯特·科蒙 三 皮拉尔·尼维拉 三 何塞·米盖尔·里韦罗 2 阿西恩·阿查，罗伯托 2 米克尔波菲尔 2 哈维尔·拉罗萨 2 巴利亚特·纳伦德兰 2 米歇尔·鲁西诺维奇 1 克拉克·W·巴雷特。 1 德吉亚列夫，阿纳托利·伊万诺维奇 1 Deters，摩根 1 德国福雷 1 乔治·黑根 1 托马斯·希伦布兰德 1 迪帕克·卡普尔 1 瓦伦丁·梅耶尔·艾希伯格 1 费尔南多·奥雷贾斯 1 亚历山大·里亚扎诺夫 1 彼得·詹姆斯·斯塔基 1 阿什什·库马尔·蒂瓦里 1 米盖尔·安吉尔·瓦列霍 1 克里斯托夫·韦登巴赫 1 莱因哈德·威廉 全部的 前5名系列 4 符号计算杂志 4 信息与计算 三 信息处理信件 三 自动推理杂志 三 计算机科学课堂讲稿 2 人工智能通信 2 约束条件 2 ACM计算逻辑事务 1 离散应用数学 1 理论计算机科学 1 运筹学年鉴 1 人工智能研究杂志 1 美国医学会杂志 全部的 前5名领域 58 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 4 运筹学、数学规划（90-XX） 三 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有被引用743中的次537文件 引用人▼ 年份▼ 求解SAT和SAT模理论，从抽象的Davis-Putnam-Logemann-Loveland过程到（operatorname{DPLL}（T））。 Zbl 1326.68164号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 178 2006 基于参数化的定理证明。 Zbl 0997.03012号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 92 2001 DPLL（\（T\））：快速决策程序。 Zbl 1103.68616号 哈拉尔德·甘辛格；乔治·黑根；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 47 2004 SAT模理论中的按需分裂。 Zbl 1165.68480号 克拉克·巴雷特；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 29 2006 具有穷举理论传播的DPLL（\（T\））及其在差分逻辑中的应用。 兹比尔1081.68629 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 28 2005 用排序和等式约束子句证明定理。 Zbl 0844.68107号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 26 1995 关于SAT模理论和优化问题。 兹比尔1187.68558 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 25 2006 用序约束子句证明定理。 Zbl 0925.03076号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 23 1992 基数网络：一项理论和实证研究。 Zbl 1217.68200号 罗伯托·阿斯因；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 22 2011 快速同余闭包和扩展。 Zbl 1112.68116号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 20 2007 SAT和MaxSAT基于课程的课程时间表。 Zbl 1301.90023号 Achá，Roberto Asín；罗伯特·纽文胡斯 18 2014 一种参数化方法，用于对基数约束进行更小更好的编码。 Zbl 1432.68412号 伊格纳西·阿比奥；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 16 2013 抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 15 2005 带约束的AC叠加：不需要AC生成器。 Zbl 1433.68559号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 13 1994 归纳=I-公理化+一阶一致性。 Zbl 1046.68640号 休伯特·科蒙；罗伯特·纽文胡斯 12 2000 极大代数、控制理论、超图等领域的难题。 Zbl 1206.68284号 马克·贝泽姆；罗伯特·纽文胡斯；恩里克·罗德里格斯-卡博内尔 12 2010 最大原子问题及其相关性。 Zbl 1182.68219号 马克·贝泽姆；罗伯特·纽文胡斯；恩里克·罗德里格斯-卡博内尔 11 2008 证明一致性闭包。 Zbl 1078.68661号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 11 2005 对伪布尔约束的BDD进行了新的研究。 Zbl 1252.68267号 伊格纳西·阿比奥；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔；瓦伦丁·梅耶尔·艾希伯格 11 2012 简单的LPO约束求解方法。 Zbl 0781.68102号 罗伯特·纽文胡斯 10 1993 基数网络及其应用。 Zbl 1247.68244号 罗伯托·阿斯因；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 9 2009 求解极大代数中双边线性系统的Butkovič-Zimmermann算法的指数行为。 Zbl 1178.68637号 马克·贝泽姆；罗伯特·纽文胡斯；恩里克·罗德里格斯-卡博内尔 8 2008 关于定理证明索引技术的评价。 Zbl 0988.68595号 罗伯特·纽文胡斯；托马斯·希伦布兰德；亚历山大·里亚扎诺夫；安德烈·沃龙科夫 8 2001 SAT模线性算术理论：精确、不精确和商业求解器。 兹比尔1138.68537 德国福雷；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 8 2008 在SAT中高效生成不可满足性证明和核心。 Zbl 1182.68215号 罗伯托·阿斯因；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 7 2008 基于RPO的总AC兼容订购。 Zbl 0873.68102号 阿尔伯特·鲁比奥；罗伯特·纽文胡斯 6 1995 具有整数偏移量的同余闭包。 Zbl 1273.68326号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 6 2003 可满足性模理论的挑战。 Zbl 1203.68189号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔；阿尔伯特·鲁比奥 5 2007 SAT、SAT模理论及其他的决策程序。BarcelogicTools。 Zbl 1143.68579号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 5 2005 条款改写。 Zbl 1507.68157号 罗伯特·纽文胡斯；费尔南多·奥雷贾斯 5 1991 基于先例的完全AC兼容排序。 兹比尔1508.68174 阿尔伯特·鲁比奥；罗伯特·纽文胡斯 5 1993 有序重写中的决策问题。 Zbl 0945.68520号 H·科蒙。；纳伦德兰，P。；Nieuwenhuis，R。；Rusinovitch，M。 4 1998 上下文树。 Zbl 0988.68588号 哈拉尔德·甘辛格；罗伯特·纽文胡斯；皮拉尔·尼维拉 4 2001 通过基本的副调制进行可判定性和复杂性分析。 Zbl 0927.68042号 罗伯特·纽文胡斯 4 1998 与完全内置阿贝尔群的叠加。 Zbl 1043.03011号 吉勒姆·戈多伊；罗伯特·纽文胡斯 4 2004 路径排序约束的求解形式。 Zbl 0943.68087号 罗伯特·纽文胡斯；何塞·米盖尔·里韦罗 三 1999 具有内置交流理论和符号约束的准调制。 Zbl 0878.68074号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 三 1997 约束和定理证明。 Zbl 0976.03518号 哈拉尔德·甘辛格；罗伯特·纽文胡斯 三 2001 具有非全序和非单调序的Paramodulation和Knuth-Bendix完备。 Zbl 1027.03010号 米克尔波菲尔；吉勒姆·戈多伊；罗伯特·纽文胡斯；阿尔伯特·鲁比奥 三 2003 分层解决方案。 Zbl 1024.03013号 安纳托利·德吉亚列夫；罗伯特·纽文胡斯；安德烈·沃龙科夫 三 2003 用于认证布尔分支定界优化的框架。 Zbl 1213.68581号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 三 2011 重写技术和应用程序。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。 Zbl 1029.00060号 三 2003 使用编码上下文树进行快速术语索引。 Zbl 1073.68077号 哈拉尔德·甘辛格；罗伯特·纽文胡斯；皮拉尔·尼维拉 三 2004 用于布尔优化和生成优化证书的分支和绑定。 Zbl 1247.68255号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2009 SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号 阿西恩·阿查，罗伯托；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2010 通过Horn-补全在等式Horn逻辑中进行高效演绎。 Zbl 0735.68075号 罗伯特·纽文胡斯；皮拉尔·尼维拉 1 1991 伪布尔约束的BDD–再次访问。 Zbl 1330.68098号 伊格纳西·阿比奥；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 1 2011 减少SAT类搜索中的混乱：找到接近给定值的解决方案。 兹比尔1330.68266 伊格纳西·阿比奥；Deters，摩根；罗伯特·纽文胡斯；彼得·斯图基（Peter J.Stuckey）。 1 2011 自动扣除–CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。 Zbl 1088.68008号 1 2005 用于编程、人工智能和推理的逻辑。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。 兹比尔1046.03001 1 2001 决定有序术语重写系统的汇合。 Zbl 1365.68298号 休伯特·科蒙；巴利亚特·纳伦德兰；罗伯特·纽文胡斯；迈克尔·鲁西诺维奇 1 2003 一类具有多项式汇流问题的项重写系统。 Zbl 1367.68132号 吉勒姆·戈多伊；罗伯特·纽文胡斯；阿什什·蒂瓦里 1 2004 关于缩小、反驳证明和约束。 Zbl 1503.03019号 罗伯特·纽文胡斯 1 1995 SAT和MaxSAT基于课程的课程时间表。 Zbl 1301.90023号 Achá，Roberto Asín；罗伯特·纽文胡斯 18 2014 一种参数化方法，用于对基数约束进行更小更好的编码。 Zbl 1432.68412号 伊格纳西·阿比奥；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 16 2013 对伪布尔约束的BDD进行了新的研究。 Zbl 1252.68267号 伊格纳西·阿比奥；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔；瓦伦丁·梅耶尔·艾希伯格 11 2012 基数网络：一项理论和实证研究。 Zbl 1217.68200号 罗伯托·阿斯因；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 22 2011 用于认证布尔分支定界优化的框架。 Zbl 1213.68581号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 三 2011 伪布尔约束的BDD–再次访问。 Zbl 1330.68098号 伊格纳西·阿比奥；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 1 2011 减少SAT类搜索中的混乱：找到接近给定值的解决方案。 Zbl 1330.68266号 伊格纳西·阿比奥；Deters，摩根；罗伯特·纽文胡斯；彼得·斯图基（Peter J.Stuckey）。 1 2011 极大代数、控制理论、超图等领域的难题。 Zbl 1206.68284号 马克·贝泽姆；罗伯特·纽文胡斯；恩里克·罗德里格斯-卡博内尔 12 2010 SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号 阿西恩·阿查，罗伯托；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2010 基数网络及其应用。 Zbl 1247.68244号 罗伯托·阿斯因；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 9 2009 用于布尔优化和生成优化证书的分支和绑定。 Zbl 1247.68255号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2009 最大原子问题及其相关性。 Zbl 1182.68219号 马克·贝泽姆；罗伯特·纽文胡斯；恩里克·罗德里格斯-卡博内尔 11 2008 求解极大代数中双边线性系统的Butkovič-Zimmermann算法的指数行为。 Zbl 1178.68637号 马克·贝泽姆；罗伯特·纽文胡斯；恩里克·罗德里格斯-卡博内尔 8 2008 SAT模线性算术理论：精确、不精确和商业求解器。 兹比尔1138.68537 德国福雷；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 8 2008 在SAT中高效生成不可满足性证明和核心。 Zbl 1182.68215号 罗伯托·阿斯因；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 7 2008 快速同余闭包和扩展。 Zbl 1112.68116号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 20 2007 可满足性模理论的挑战。 Zbl 1203.68189号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔；阿尔伯特·鲁比奥 5 2007 求解SAT和SAT模理论，从抽象的Davis-Putnam-Logemann-Loveland过程到（operatorname{DPLL}（T））。 Zbl 1326.68164号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 178 2006 SAT模理论中的按需分裂。 Zbl 1165.68480号 克拉克·巴雷特；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 29 2006 关于SAT模理论和优化问题。 Zbl 1187.68558号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 25 2006 具有穷举理论传播的DPLL（\（T\））及其在差分逻辑中的应用。 Zbl 1081.68629号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 28 2005 抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 15 2005 证明一致性闭包。 兹比尔1078.68661 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 11 2005 SAT、SAT模理论及其他的决策程序。BarcelogicTools。 兹比尔1143.68579 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 5 2005 自动扣除–CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。 Zbl 1088.68008号 1 2005 DPLL（\（T\））：快速决策程序。 Zbl 1103.68616号 哈拉尔德·甘辛格；乔治·黑根；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；塞萨尔·蒂内利 47 2004 与完全内置阿贝尔群的叠加。 Zbl 1043.03011号 吉勒姆·戈多伊；罗伯特·纽文胡斯 4 2004 使用编码上下文树进行快速术语索引。 Zbl 1073.68077号 哈拉尔德·甘辛格；罗伯特·纽文胡斯；皮拉尔·尼维拉 三 2004 一类具有多项式合流问题的项重写系统。 Zbl 1367.68132号 吉勒姆·戈多伊；罗伯特·纽文胡斯；阿什什·蒂瓦里 1 2004 具有整数偏移量的同余闭包。 Zbl 1273.68326号 罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 6 2003 具有非全序和非单调序的Paramodulation和Knuth-Bendix完备。 Zbl 1027.03010号 米克尔波菲尔；吉勒姆·戈多伊；罗伯特·纽文胡斯；阿尔伯特·鲁比奥 三 2003 分层解决方案。 Zbl 1024.03013号 安纳托利·德吉亚列夫；罗伯特·纽文胡斯；安德烈·沃龙科夫 三 2003 重写技术和应用程序。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。 Zbl 1029.00060号 三 2003 决定有序术语重写系统的汇合。 Zbl 1365.68298号 休伯特·科蒙；巴利亚特·纳伦德兰；罗伯特·纽文胡斯；迈克尔·鲁西诺维奇 1 2003 基于参数化的定理证明。 Zbl 0997.03012号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 92 2001 关于定理证明索引技术的评价。 Zbl 0988.68595号 罗伯特·纽文胡斯；托马斯·希伦布兰德；亚历山大·里亚扎诺夫；安德烈·沃龙科夫 8 2001 上下文树。 Zbl 0988.68588号 哈拉尔德·甘辛格；罗伯特·纽文胡斯；皮拉尔·尼维拉 4 2001 约束和定理证明。 Zbl 0976.03518号 哈拉尔德·甘辛格；罗伯特·纽文胡斯 三 2001 用于编程、人工智能和推理的逻辑。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。 Zbl 1046.03001号 1 2001 归纳=I-公理化+一阶一致性。 Zbl 1046.68640号 休伯特·科蒙；罗伯特·纽文胡斯 12 2000 路径排序约束的求解形式。 兹比尔0943.68087 罗伯特·纽文胡斯；何塞·米盖尔·里韦罗 三 1999 有序重写中的决策问题。 兹比尔0945.68520 H·科蒙。；纳伦德兰，P。；Nieuwenhuis，R。；Rusinovitch，M。 4 1998 通过基本的互调进行可判定性和复杂性分析。 Zbl 0927.68042号 罗伯特·纽文胡斯 4 1998 具有内置交流理论和符号约束的准调制。 Zbl 0878.68074号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 三 1997 用排序和等式约束子句证明定理。 Zbl 0844.68107号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 26 1995 基于RPO的总AC兼容订购。 Zbl 0873.68102号 阿尔伯特·鲁比奥；罗伯特·纽文胡斯 6 1995 关于缩小、反驳证明和约束。 Zbl 1503.03019号 罗伯特·纽文胡斯 1 1995 带约束的AC叠加：不需要AC生成器。 Zbl 1433.68559号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 13 1994 简单的LPO约束求解方法。 Zbl 0781.68102号 罗伯特·纽文胡斯 10 1993 基于先例的完全AC兼容排序。 Zbl 1508.68174号 阿尔伯特·鲁比奥；罗伯特·纽文胡斯 5 1993 用序约束子句证明定理。 Zbl 0925.03076号 罗伯特·纽文胡斯；阿尔伯特·鲁比奥 23 1992 子句重写。 Zbl 1507.68157号 罗伯特·纽文胡斯；费尔南多·奥雷贾斯 5 1991 通过Horn-补全在等式Horn逻辑中进行高效演绎。 Zbl 0735.68075号 罗伯特·纽文胡斯；皮拉尔·尼维拉 1 1991 所有引用出版物 前5名被引用出版物 全部的 前5名796位作者引用 27 克里斯托夫·韦登巴赫 24 塞萨尔·蒂内利 23 克拉克·W·巴雷特。 20 安德鲁·雷诺兹 18 罗伯特·纽文胡斯 14 玛丽亚·保拉（Maria Paola Bonacina） 14 安德烈·沃龙科夫 13 罗伯托·塞巴斯蒂亚尼 11 贾斯敏·克里斯蒂安·布兰切特 11 尤利亚·利勒 11 乌韦州瓦尔德曼 10 莱昂纳多·德·莫拉 9 西尔维奥·吉拉尔迪 8 马丁·布隆伯格 8 康斯坦丁·科洛文 8 何塞·梅塞盖尔·瓜伊塔 8 西尔维奥·兰伊斯 8 索菲·托雷特 7 Franz巴德 7 鲍姆加特纳 7 亚历山德罗·西马蒂 7 穆纳乔·埃切宁 7 圣埃芬·高伯特 7 马丁·格布瑟 7 阿尔贝托·格里乔 7 迪帕克·卡普尔 7 彼得·詹姆斯·斯塔基 6 米克尔波菲尔 6 纳胡姆德肖维茨 6 马提亚斯·霍巴赫 6 汤米·詹胡宁 6 Vasco M.Manquinho。 6 贾尔斯·里格尔 6 克里斯托夫·林盖森 6 阿尔伯特·鲁比奥 6 克里希纳·苏布拉马尼 6 马图·维拉雷特 5 泽维尔·阿拉米吉恩 5 哈尼尔·巴博萨 5 尼古拉·S·比约纳。 5 帕斯卡·方丹 5 哈拉尔德·甘辛格 5 德扬·约瓦诺维奇 5 科瓦奇，劳拉·伊尔迪科 5 林奇，因斯 5 恩里卡·尼科里尼 5 安德烈斯·诺兹利 5 阿尔伯特·奥利弗拉斯 5 尼古拉斯·佩尔蒂埃 5 恩里克·罗德里格斯-卡博内尔 5 米歇尔·鲁西诺维奇 5 托尔斯滕·绍布（Torsten H.Schaub）。 5 托马斯·斯特姆 5 马丁·苏达 5 Wojciechowski，Piotr J。 4 曼纽尔·博迪尔斯基 4 罗伯特·布鲁托梅索 4 迈克尔·科迪什 4 戴维·戴哈贝 4 多达罗，胭脂红 4 圣地亚哥埃斯科瓦尔 4 维杰·加内什 4 圣菲省格拉汉·伦格兰德 4 德米特里·格里戈列夫 4 乌尔里希·赫斯塔特 4 克洛德·基什内尔 4 赫莱内·基什内尔 4 丹尼尔·科宁 4 刘军 4 马可·马拉提亚 4 马丁·奥列特，纳西索 4 雷娜特·施密特（Renate A.Schmidt）。 4 斯特里赫曼（Ofer Strichman） 4 阿伦·斯塔姆 4 Suy，约瑟普 4 德坎·特兰 4 帕特里克·特伦丁 4 徐，杨 三 卡洛斯·安索特吉 三 班科维奇，米兰 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 乔里·博曼森 三 布莱特，柯蒂斯 三 彼得·布特科维奇 三 迭戈·卡尔瓦内斯 三 陈树伟 三 休伯特·科蒙 三 Sylvain Conchon公司 三 伊芙琳·孔特让 三 德吉亚列夫，阿纳托利·伊万诺维奇 三 Deters，摩根 三 大卫·L·迪尔。 三 安德烈·杜阿尔特 三 阿诺德·菲埃茨克 三 马蒂亚斯·弗勒里 三 Fränzle，马丁 三 亚历山德罗·吉亚诺拉 三 何兴兴 三 托马斯·希伦布兰德 三 Jochen Hoenicke公司 …还有696位作者 全部的 前5名63篇连载文章中引用 65 自动推理杂志 21 逻辑程序设计理论与实践 19 人工智能 19 信息与计算 19 系统设计中的形式化方法 18 符号计算杂志 16 理论计算机科学 15 约束条件 10 数学与人工智能年鉴 6 计算机科学中的逻辑方法 5 ACM计算逻辑事务 4 信息处理信件 4 计算机与运筹学 4 运筹学年鉴 4 欧洲运筹学杂志 4 计算机科学中的数学 三 人工智能通信 三 线性代数及应用 三 工程、通信和计算中的应用代数 三 顶部 三 计算系统理论 三 逻辑与代数程序设计杂志 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 信息科学 2 计算机与系统科学杂志 2 最优化理论与应用杂志 2 算法 2 国际代数与计算杂志 2 MSCS公司。计算机科学中的数学结构 2 计算复杂性 2 人工智能研究杂志 2 软计算 2 可满足性、布尔建模与计算杂志 1 代数通讯 1 巴洛克大学学报。山楂（Facultas Rerum Naturalium）。数学软件 1 模糊集与系统 1 圣母院形式逻辑杂志 1 SIAM计算机杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 离散和计算几何 1 国际近似推理杂志 1 SIAM矩阵分析与应用杂志 1 计算的形式方面 1 全球优化杂志 1 SIAM审查 1 数学编程。A系列B系列 1 圣彼得堡数学杂志 1 启发式杂志 1 组合优化期刊 1 调度日志 1 计算机基础理论 1 系统科学与复杂性杂志 1 应用数学杂志 1 机器学习研究杂志（JMLR） 1 浙江大学学报。科学A 1 数学规划计算 1 中欧计算机科学杂志 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 Logicheskie Issledovaniya公司 1 SIAM应用代数和几何杂志 全部的 前5名在25个字段中引用 471 计算机科学（68至XX） 182 数学逻辑和基础（03-XX） 57 运筹学、数学规划（90-XX） 13 线性代数和多线性代数；矩阵理论（15-XX） 10 组合数学（05-XX） 8 代数几何（14-XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 信息与通信理论、电路（94-XX） 4 生物学和其他自然科学（92-XX） 三 群论与推广（20-XX） 三 凸和离散几何（52至XX） 三 数值分析（65-XX） 三 系统论；控制（93至XX） 2 历史和传记（01-XX） 2 阶、格、有序代数结构（06-XX） 2 一般代数系统（08-XX） 2 交换代数（13-XX） 2 范畴理论；同调代数（18-XX） 2 常微分方程（34-XX） 1 总体主题；集合（00-XX） 1 结合环与代数（16-XX） 1 特殊功能（33至XX） 1 动力系统和遍历理论（37至XX） 1 统计学（62-XX） 1 数学教育（97-XX） 按年份列出的引文