编辑配置文件(在新选项卡中打开) 张汉涛 合著者距离 作者ID: 张汉涛 发布日期: 张汉涛;张,H。;张汉涛;张汉涛;汉涛·查 更多。。。较少的 主页: 网址:http://homepage.cs.uiowa.edu/~hzhang/ 已编制索引的文档: 83出版物自1985年以来,包括1个附加arXiv预打印 2作为编辑的贡献 合著者: 43位合著者具有71联合出版物 1562合著者 全部的 前5名合著者 13 单作者的 25 Frank E.Bennett。 12 卡普尔,迪帕克 9 阿贝尔,R.朱利安R。 9 朱,李 7 吴殿华 5 杜北良 5 巴利亚特·纳伦德兰 4 沈海鸥 4 张健 三 Stickel,Mark E。 三 徐云清 三 尹建兴 三 于黄胜 2 张彦勋 2 陈景元 2 葛根年 2 西瓦库马尔,G.D。 2 魏瑞忠 2 张勇 1 玛丽亚·保拉(Maria Paola Bonacina) 1 曹、南苑 1 陈可军 1 查尔斯·科尔伯恩。 1 段定州 1 葛存静 1 韩巧明 1 郝莹 1 Jieh乡 1 华嘉欣 1 华欣 1 黄,裴 1 康庆德 1 伊曼纽尔·库纳利斯 1 Krishnamoorthy,Mukkai S。 1 雷建国 1 卢,程 1 马,菲菲 1 很多,费利普 1 Jean-Luc雷米 1 丹尼尔·罗森克兰茨。 1 叶银玉 1 张嘉伟 1 张玉芳 1 斯坦利·齐瓦茨 全部的 前5名系列 14 离散数学 6 自动推理杂志 6 组合设计杂志 4 Ars Combinatoria公司 4 符号计算杂志 三 统计规划与推断杂志 三 JCMCC公司。组合数学与组合计算杂志 2 信息学报 2 设计、代码和密码 2 澳大利亚组合学杂志 2 数学与人工智能年鉴 1 组合理论杂志。系列A 1 数学系统理论 1 实用数学 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 应用数学学报。英语系列 1 图与组合 1 欧洲运筹学杂志 1 非线性动力学 1 组合年刊 1 数学学报。英语系列 1 山东大学学报。自然科学 1 ISRN组合数学 全部的 前5名字段 46 组合数学(05-XX) 39 计算机科学(68-XX) 12 群论与推广(20-XX) 11 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 结合环与代数(16-XX) 1 非结合环与代数(17-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 67出版物有被引用463中的次318文件 引用人▼ 年份▼ 关于项重写系统的充分完备性及其相关性质。 Zbl 0594.68035号 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 42 1987 PSATO:分布式命题证明器及其在拟群问题中的应用。 Zbl 0863.68013号 张汉涛;玛丽亚·保拉(Maria Paola Bonacina);Jieh乡 22 1996 方程式规范的机械化归纳原理。 Zbl 0657.68103号 张汉涛;卡普尔,迪帕克;Krishnamoorthy,Mukkai S。 21 1988 SATO:一个有效的命题证明器。 Zbl 1430.68427号 张汉涛 21 1997 充分完整性、地面可简化性及其复杂性。 兹比尔0721.68032 卡普尔,迪帕克;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛 20 1991 实施Davis-Putnam方法。 兹比尔0967.68148 张汉涛;标签,马克 18 2000 使用测试集进行归纳证明。 兹比尔0642.68034 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 17 1986 使用条件重写规则证明一阶定理。 Zbl 0645.68096号 张汉涛;卡普尔,迪帕克 15 1988 存在类型为\(a^n b^1 \)的框架SOLS。 Zbl 0996.05018号 徐,Y。;张,H。;朱,L。 15 2002 完美的门德尔松设计,块大小为6。 Zbl 0974.05008号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。 15 2000 上下文重写。 Zbl 0576.68012号 张汉涛;Jean-Luc雷米 14 1985 关于最大顶点覆盖的近似。 Zbl 1058.90036号 韩巧明;叶银玉;张汉涛;张嘉伟 13 2002 Holey Steiner五角大楼系统。 Zbl 0922.05006号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。 12 1999 存在块大小为5且任何指数为(λ)的不完全横向设计。 Zbl 0869.05016号 阿贝尔,R.J.R。;查尔斯·科尔伯恩。;尹建兴;张汉涛 12 1997 使用测试集自动进行无感应感应。 Zbl 0724.68079号 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 12 1991 某些类型的HMOLS的直接构造。 Zbl 0911.05020号 阿贝尔,R.朱利安R。;张汉涛 11 1998 一种新的AC-rewrite系统终止性证明方法。 Zbl 0736.68051号 卡普尔,迪帕克;西瓦库马尔,G。;张汉涛 11 1990 存在块大小为5的HPMD。 Zbl 0912.05008号 F.E.贝内特。;Chang,Y。;尹,J。;张,H。 9 1997 还有一些不完全自正交拉丁方和相关设计。 Zbl 0949.05011号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。 9 2000 具有对称正交配对的空心自正交拉丁方。 Zbl 0929.05012号 F.E.贝内特。;张,H。;朱,L。 8 1997 完美的门德尔松包装设计,块尺寸为5。 Zbl 0910.05020号 F.E.贝内特。;尹,J。;张,H。;阿贝尔,R.J.R。 8 1998 改进MAX-2-SAT的精确算法。 Zbl 1086.68058号 沈海鸥;张汉涛 8 2005 还有几个正交拉丁方。 Zbl 0987.05025号 朱,L。;张,H。 7 2001 完成\(r\)-正交拉丁方的谱。 兹比尔1029.05023 朱,L。;张汉涛 7 2003 不相交的纯Mendelsohn三元系的大集合。 Zbl 0984.05014号 Frank E.Bennett。;康庆德;雷建国;张汉涛 6 2001 方程式规范的一般完整性测试。 Zbl 0587.68016号 E.库纳利斯。;张,H。 6 1986 MAX-SAT的精确算法。 Zbl 1261.68073号 张汉涛;沈海鸥;很多,费利普 6 2003 Holey Schröder类型的设计(2^nu^1\)。 Zbl 0915.05021号 F.E.贝内特。;魏瑞忠;张汉涛 5 1998 Max-2-sat相变的实证研究。 Zbl 1179.68148号 沈海鸥;汉涛·查 5 2003 自动推理中的上下文重写。 Zbl 0839.68051号 张汉涛 5 1995 强对称自正交对角拉丁方和杨辉型幻方。 Zbl 1288.05031号 张勇;陈可军;曹、南苑;张汉涛 5 2014 关联交换完成程序中的不必要推断。 Zbl 0707.68071号 张汉涛;卡普尔,迪帕克 5 1990 基于布尔环的定理证明的一种新方法。 兹伯利0860.03014 张汉涛 4 1994 块大小为4的(2^n3^1)型HPMD和相关HCOLS。 Zbl 0872.05006号 F.E.贝内特。;魏瑞忠;张汉涛 4 1997 斯坦纳五边形覆盖设计。 Zbl 0973.05019号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。 4 2001 标准三稳态系统中的多参数调节随机共振及其在早期故障诊断中的应用。 Zbl 1437.60024号 Lai,Z.H。;刘建生(Liu,J.S.)。;张海涛。;张,C.L。;张建伟(Zhang,J.W.)。;Duan,D.Z。 4 2019 强幂等自正交行拉丁幻数阵的存在性及应用。 Zbl 1402.05025号 张玉芳;陈景元;吴殿华;张汉涛 4 2018 系统描述-通过SEM生成模型。 兹比尔1412.68268 张健;张汉涛 4 1996 问题角:证明自由群不同公理化的等价性。 Zbl 0654.68102号 卡普尔,迪帕克;张汉涛 三 1988 霍利·斯坦纳五角大楼系统和相关设计。 Zbl 0995.05033号 F.E.贝内特。;Ge,G。;张,H。;朱,L。 三 2002 实施Davis-Putnam方法。 Zbl 0979.03012号 张汉涛;Stickel,Mark E。 三 2000 缺少子平方的自正交对角拉丁方的存在性。 Zbl 1012.05042号 Frank E.Bennett。;杜北良;张汉涛 三 2003 自正交Mendelsohn三系。 Zbl 0842.05008号 F.E.贝内特。;张,H。;朱,L。 三 1996 在完井程序中只考虑一般叠加。 Zbl 1503.68171号 张汉涛;卡普尔,迪帕克 三 1989 实现上下文重写。 兹比尔1508.68182 张汉涛 三 1993 对角序正交拉丁方及其相关的初等对角序幻方。 Zbl 1383.05034号 张,Y。;陈景元;D.吴。;张,H。 三 2017 利用覆盖集归纳法证明中国剩余定理。 Zbl 0925.03068号 张汉涛;华欣 2 1992 框架(h^n)型自正交Mendelsohn三系。 Zbl 1157.05012号 徐云清;张彦勋;葛根年;张汉涛 2 2008 存在类型为\(h^n \)和\(1^nu^1 \)的HSOLSSOM。 Zbl 0993.05031号 亚伯,R.J.R。;F.E.贝内特。;张,H。;朱,L。 2 2000 完成模分配和交换群的案例研究。 Zbl 1503.68297号 张汉涛 2 1993 具有自正交共轭的拉丁方。 Zbl 1044.05027号 Frank E.Bennett。;张汉涛 2 2004 MACE4和SEM:有限模型生成器的比较。 Zbl 1383.68083号 张汉涛;张健 2 2013 通过可满足性检验研究幂等拟群的大集的存在性。 Zbl 1511.68315号 黄,裴;马,菲菲;葛存静;张健;张汉涛 2 2018 关于\(2^nu^1\)型的holey Schröder设计。 Zbl 1474.05038号 张汉涛;斯坦利·齐瓦茨 2 2016 Overbeek竞争中平等问题的自动证明。 Zbl 0802.68132号 张汉涛 1 1993 共轭正交对角拉丁方的存在性。 Zbl 0912.05018号 F.E.贝内特。;杜,B。;张,H。 1 1997 存在类型为\(2^nu^1\)的HSOLSSOM。 Zbl 1158.05012号 阿贝尔,R.J.R。;Frank E.Bennett。;张汉涛 1 2008 框架自正交Mendelsohn三系。 Zbl 1065.05021号 徐云青;张汉涛 1 2004 用同余闭包计算扩展有限模型搜索。 Zbl 1109.68643号 张健;张汉涛 1 2004 非元素有理对称对角序幻方的存在性。 兹比尔1463.05036 于黄胜;吴殿华;张汉涛 1 2019 充分完备性的复杂性。 Zbl 0623.68047号 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 1 1986 具有指定数量幂等元的Schröder拟群。 Zbl 1237.05024号 Frank E.Bennett。;张汉涛 1 2012 无理对角序幻方的存在性。 Zbl 1349.05042号 于黄胜;D.吴。;张,H。 1 2016 用代数方法自动证明环的交换性问题。 Zbl 0698.68037号 张汉涛 1 1990 满足Stein第三定律的具有指定数量幂等元的拟群。 Zbl 1254.05030号 Frank E.Bennett。;张汉涛 1 2012 Holey Schröder设计的类型\(4^n u^1\)。 Zbl 1278.05057号 F.E.贝内特。;张汉涛 1 2012 无理对称对角序幻方的存在性。 Zbl 1488.05049号 于黄胜;吴殿华;张汉涛 1 2020 无理对称对角序幻方的存在性。 Zbl 1488.05049号 于黄胜;吴殿华;张汉涛 1 2020 标准三稳态系统中的多参数调节随机共振及其在早期故障诊断中的应用。 Zbl 1437.60024号 赖,Z.H。;刘建生(Liu,J.S.)。;张海涛。;张,C.L。;张建伟。;Duan,D.Z。 4 2019 非元素有理对称对角序幻方的存在性。 Zbl 1463.05036号 于黄胜;吴殿华;张汉涛 1 2019 强幂等自正交行拉丁幻数阵的存在性及应用。 Zbl 1402.05025号 张玉芳;陈景元;吴殿华;张汉涛 4 2018 通过可满足性检验研究幂等拟群的大集的存在性。 Zbl 1511.68315号 黄,裴;马,菲菲;葛存静;张健;张汉涛 2 2018 对角序正交拉丁方及其相关的初等对角序幻方。 Zbl 1383.05034号 张,Y。;陈景元;D.吴。;张,H。 三 2017 关于类型为(2^nu^1)的多孔Schröder设计。 兹比尔1474.05038 张汉涛;斯坦利·齐瓦茨 2 2016 无理对角序幻方的存在性。 Zbl 1349.05042号 于黄胜;D.吴。;张,H。 1 2016 强对称自正交对角拉丁方和杨辉型幻方。 Zbl 1288.05031号 张勇;陈可军;曹、南苑;张汉涛 5 2014 MACE4和SEM:有限模型生成器的比较。 Zbl 1383.68083号 张汉涛;张健 2 2013 具有指定数量幂等元的Schröder拟群。 Zbl 1237.05024号 Frank E.Bennett。;张汉涛 1 2012 满足斯坦因第三定律的拟群,具有指定数量的幂等元。 Zbl 1254.05030号 Frank E.Bennett。;张汉涛 1 2012 Holey Schröder设计类型\(4^nu^1)。 Zbl 1278.05057号 F.E.贝内特。;张汉涛 1 2012 框架(h^n)型自正交Mendelsohn三系。 Zbl 1157.05012号 徐云清;张彦勋;葛根年;张汉涛 2 2008 存在类型为\(2^nu^1\)的HSOLSSOM。 Zbl 1158.05012号 阿贝尔,R.J.R。;Frank E.Bennett。;张汉涛 1 2008 改进MAX-2-SAT的精确算法。 Zbl 1086.68058号 沈海鸥;张汉涛 8 2005 具有自正交共轭的拉丁方。 Zbl 1044.05027号 Frank E.Bennett。;张汉涛 2 2004 框架自正交Mendelsohn三系。 Zbl 1065.05021号 徐云青;张汉涛 1 2004 用同余闭包计算扩展有限模型搜索。 Zbl 1109.68643号 张健;张汉涛 1 2004 完成\(r\)-正交拉丁方的谱。 Zbl 1029.05023号 朱,L。;张汉涛 7 2003 MAX-SAT的精确算法。 Zbl 1261.68073号 张汉涛;沈海鸥;很多,费利普 6 2003 Max-2-sat相变的实证研究。 Zbl 1179.68148号 沈海鸥;汉涛·查 5 2003 缺少子平方的自正交对角拉丁方的存在性。 Zbl 1012.05042号 Frank E.Bennett。;杜北良;张汉涛 三 2003 存在类型为\(a^n b^1 \)的框架SOLS。 Zbl 0996.05018号 徐,Y。;张,H。;朱,L。 15 2002 关于max-vertex-cover的近似。 Zbl 1058.90036号 韩巧明;叶银玉;张汉涛;张嘉伟 13 2002 霍利·斯坦纳五角大楼系统和相关设计。 Zbl 0995.05033号 F.E.贝内特。;Ge,G。;张,H。;朱,L。 三 2002 还有几个\(r)-正交的拉丁正方形。 Zbl 0987.05025号 朱,L。;张,H。 7 2001 不相交的纯Mendelsohn三元系的大集合。 Zbl 0984.05014号 Frank E.Bennett。;康庆德;雷建国;张汉涛 6 2001 斯坦纳五边形覆盖设计。 Zbl 0973.05019号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。 4 2001 实施Davis-Putnam方法。 兹比尔0967.68148 张汉涛;贴纸,标记 18 2000 完美的门德尔松设计,块大小为6。 Zbl 0974.05008号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。 15 2000 还有一些不完全自正交拉丁方和相关设计。 Zbl 0949.05011号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。 9 2000 实施Davis-Putnam方法。 Zbl 0979.03012号 张汉涛;Stickel,Mark E。 三 2000 存在类型为\(h^n \)和\(1^nu^1 \)的HSOLSSOM。 Zbl 0993.05031号 阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。 2 2000 Holey Steiner五角大楼系统。 兹伯利0922.05006 阿贝尔,R.J.R。;F.E.贝内特。;张,H。 12 1999 某些类型HMOLS的直接构造。 Zbl 0911.05020号 阿贝尔,R.朱利安R。;张汉涛 11 1998 完美的门德尔松包装设计,块大小为5。 Zbl 0910.05020号 F.E.贝内特。;尹,J。;张,H。;阿贝尔,R.J.R。 8 1998 Holey Schröder设计类型\(2^nu^1)。 兹比尔0915.05021 F.E.贝内特。;魏瑞忠;张汉涛 5 1998 SATO:一个有效的命题证明器。 Zbl 1430.68427号 张汉涛 21 1997 存在块大小为5且任何指数为(λ)的不完全横向设计。 Zbl 0869.05016号 阿贝尔,R.J.R。;查尔斯·科尔伯恩。;尹建兴;张汉涛 12 1997 存在块大小为5的HPMD。 Zbl 0912.05008号 F.E.贝内特。;Chang,Y。;尹,J。;张,H。 9 1997 具有对称正交配对的空心自正交拉丁方。 Zbl 0929.05012号 F.E.贝内特。;张,H。;朱,L。 8 1997 块大小为4的(2^n3^1)型HPMD和相关HCOLS。 Zbl 0872.05006号 F.E.贝内特。;魏瑞忠;张汉涛 4 1997 共轭正交对角拉丁方的存在性。 Zbl 0912.05018号 F.E.贝内特。;杜,B。;张,H。 1 1997 PSATO:分布式命题证明器及其在拟群问题中的应用。 Zbl 0863.68013号 张汉涛;玛丽亚·保拉(Maria Paola Bonacina);Jieh乡 22 1996 系统描述-通过SEM生成模型。 Zbl 1412.68268号 张健;张汉涛 4 1996 自正交门德尔松三系统。 Zbl 0842.05008号 F.E.贝内特。;张,H。;朱,L。 三 1996 自动推理中的上下文重写。 Zbl 0839.68051号 张汉涛 5 1995 基于布尔环的定理证明的一种新方法。 Zbl 0860.03014号 张汉涛 4 1994 实现上下文重写。 Zbl 1508.68182号 张汉涛 三 1993 完成模分配和交换群的案例研究。 Zbl 1503.68297号 张汉涛 2 1993 Overbeek竞争中平等问题的自动证明。 Zbl 0802.68132号 张汉涛 1 1993 利用覆盖集归纳法证明中国剩余定理。 Zbl 0925.03068号 张汉涛;华欣 2 1992 充分完整性、地面可简化性及其复杂性。 兹比尔0721.68032 卡普尔,迪帕克;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛 20 1991 使用测试集自动进行无感应感应。 Zbl 0724.68079号 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 12 1991 一种新的AC-rewrite系统终止性证明方法。 Zbl 0736.68051号 卡普尔,迪帕克;西瓦库马尔,G。;张汉涛 11 1990 结合交换完备过程中不必要的推论。 Zbl 0707.68071号 张汉涛;卡普尔,迪帕克 5 1990 用代数方法自动证明环的交换性问题。 Zbl 0698.68037号 张汉涛 1 1990 在完井程序中只考虑一般叠加。 Zbl 1503.68171号 张汉涛;卡普尔,迪帕克 三 1989 方程式规范的机械化归纳原理。 Zbl 0657.68103号 张汉涛;卡普尔,迪帕克;Krishnamoorthy,Mukkai S。 21 1988 使用条件重写规则证明一阶定理。 Zbl 0645.68096号 张汉涛;卡普尔,迪帕克 15 1988 问题角:证明自由群不同公理化的等价性。 Zbl 0654.68102号 卡普尔,迪帕克;张汉涛 三 1988 关于项重写系统的充分完备性及其相关性质。 Zbl 0594.68035号 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 42 1987 使用测试集进行归纳证明。 Zbl 0642.68034号 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 17 1986 等式规范的一般完整性测试。 Zbl 0587.68016号 E.库纳利斯。;张,H。 6 1986 充分完备性的复杂性。 Zbl 0623.68047号 卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛 1 1986 上下文重写。 Zbl 0576.68012号 张汉涛;Jean-Luc雷米 14 1985 所有引用出版物 排名前五的出版物 全部的 前5名429位作者引用 30 张汉涛 23 Frank E.Bennett。 17 阿贝尔,R.朱利安R。 16 葛根年 13 卡普尔,迪帕克 7 玛丽亚·保拉(Maria Paola Bonacina) 7 张彦勋 7 纳鸿·德肖维茨 7 美国雷迪。 7 米歇尔·鲁西诺维奇 7 徐云清 6 阿黛尔·布胡拉 6 伊曼纽尔·库纳利斯 5 利奥·巴赫迈尔 5 哈拉尔德·甘辛格 5 马尔科姆·格里格 5 Jean-Pierre Jouannaud 5 Ling、Alan Chi Hung 5 巴利亚特·纳伦德兰 5 罗伯特·纽文胡斯 4 弗朗索瓦·布隆萨德 4 曹海涛 4 休伯特·科蒙 4 佛罗伦萨·杰克马尔 4 季丽君 4 雷建国 4 Joáo P.塞尔瓦侯爵。 4 克里斯托夫·韦登巴赫 4 吴殿华 4 尹建兴 4 周俊玲 三 高仁青藤 三 亚历山德罗·阿曼多 三 布鲁尼,雷纳托 三 陈,广州 三 查尔斯·科尔伯恩。 三 杜北良 三 公爵,彼得·詹姆斯 三 高基町五指 三 扬·威廉·克鲁普 三 李楚敏 三 李、文 三 萨尔瓦多卢卡斯 三 林奇,因斯 三 很多,费利普 三 大卫·穆瑟。 三 中村,Masaki 三 Kazuhiro绪方 三 Vangelis Th.帕斯科。 三 莱因哈德,皮克勒 三 阿尔伯特·鲁比奥 三 沈海鸥 三 马哈德万·苏布拉曼尼亚姆 三 张健 三 朱,李 2 乔治·奥塞洛 2 彼得·鲍姆加特纳 2 埃迪,贝弗斯 2 尼古拉·鲍里亚 2 莱因哈德·邦根 2 卡隆、安妮·塞西尔 2 陈景元 2 Jean-Luc Coquidé 2 马克西米利亚诺·克里斯蒂亚 2 马克斯·多切特 2 托马斯·艾特 2 卡斯滕·福斯 2 詹纳科斯,亚里士多德 2 吉尔根·吉斯尔 2 恩里科Giunchilia 2 尤金·戈德伯格。 2 罗伯特·哈斯克(Robert W.Hasker)。 2 迪特尔·霍夫鲍尔 2 马提亚斯·霍巴赫 2 Jieh乡 2 玛丽亚·休伯 2 伯纳德·尤尔科维亚克 2 肯塔罗州菊池 2 赫莱内·基什内尔 2 格雷戈里·库切洛夫 2 Küchlin,Wolfgang W。 2 皮埃尔·莱斯坎 2 约翰·莱维 2 李东亮 2 查尔斯·柯蒂斯·林德纳 2 乔治·卢卡雷利 2 奥拉夫·莱恩 2 威廉·麦库恩。 2 潘凤初 2 分手,迈克尔 2 乔迪,飞机 2 西尔维奥·兰伊斯 2 Jean-Luc雷米 2 亚历山大·罗莎 2 吉安弗兰科·罗西 2 彼得·施奈德·坎普 2 沈聪 2 韦恩·斯奈德 2 斯特拉图拉特,索林 2 斯威德斯基,斯蒂芬 …还有329位作者 全部的 前5名53篇连载文章中引用 39 离散数学 21 自动推理杂志 16 理论计算机科学 15 符号计算杂志 13 人工智能 13 离散应用数学 10 组合设计杂志 9 统计规划与推断杂志 9 数学与人工智能年鉴 8 信息与计算 6 图与组合 5 信息处理信件 5 数学学报。英语系列 4 信息学报 4 应用数学学报。英语系列 4 设计、代码和密码 4 约束条件 2 计算机科学与技术杂志 2 算法 2 中国科学。系列A 2 工程、通信和计算中的应用代数 2 应用非经典逻辑杂志 2 离散优化 1 澳大利亚数学学会公报 1 应用数学与计算 1 卡罗莱纳大学数学评论 1 信息科学 1 计算机协会杂志 1 伦敦数学学会会刊。第三系列 1 运营研究信件 1 国际并行程序设计杂志 1 计算的形式方面 1 运筹学年鉴 1 国际计算机科学基础杂志 1 全球优化杂志 1 数学编程。A系列B系列 1 澳大利亚组合学杂志 1 数学科学杂志(纽约) 1 有限域及其应用 1 优化方法和软件 1 组合优化期刊 1 国际应用数学与计算机科学杂志 1 系统科学与复杂性杂志 1 逻辑程序设计理论与实践 1 离散算法杂志 1 应用逻辑杂志 1 工业与管理优化杂志 1 物理学报A:数学与理论 1 计算机科学中的逻辑方法 1 组合数学学报 1 ISRN组合数学 1 程序设计中的逻辑和代数方法杂志 1 代数、组合数学、离散结构与应用杂志 全部的 前5名17个字段中引用 204 计算机科学(68-XX) 102 组合数学(05-XX) 59 数学逻辑和基础(03-XX) 22 运筹学、数学规划(90-XX) 16 群论与推广(20-XX) 5 统计学(62-XX) 三 信息与通信理论、电路(94-XX) 2 一般代数系统(08-XX) 2 交换代数(13-XX) 2 结合环与代数(16-XX) 2 非结合环与代数(17-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 几何图形(51-XX) 1 量子理论(81-XX) 按年份列出的引文