编辑配置文件(在新选项卡中打开) 蒂内利,塞萨尔 计算距离: 计算 作者ID: 蒂内利。塞萨尔 发布为: 蒂内利,塞萨尔;蒂内利,C。 外部链接: MGP公司·半兽人·dblp公司 编制索引的文档: 62种出版物1996年以来 8位编辑稿件 合著者: 64位合著者具有66个联合出版物 962位合著者 全部的 前5名合著者 4 单作者 26 巴雷特,克拉克W。 21 雷诺兹,安德鲁 9 鲍姆加特纳,彼得 7 巴德尔,弗兰兹 5 威慑,摩根 5 福斯,亚历山大 5 歌尔,阿米特 5 科斯蒂克,萨瓦A。 5 尼美兹,艾娜 5 普莱纳,马蒂亚斯 4 尼尤文胡斯,罗伯特 4 奥利维拉斯,艾伯特 4 佐哈尔,尤尼 三 巴博萨,哈尼尔 三 格伦迪,吉姆 三 林格森,克里斯托夫 三 扎尔巴,卡罗杰罗G。 2 拜尔,克里斯特尔 2 班萨尔,克希提 2 德尼维尔,汉斯 2 葛艺婷 2 吉尔迪,西尔维奥 2 哈达琳,莉安娜 2 哈兰迪,迈赫迪T。 2 昆卡,维克多 2 梁天一 2 卢茨,卡斯滕 2 乌里达州萨特勒 2 伊戈尔,希卡尼安 2 茨卡里兹,内斯坦 2 图尔汗,安尼·亚斯明 2 沃尔特,弗兰克 1 阿伦特,沃尔夫冈 1 比尔,阿明 1 布兰切特,贾斯敏·克里斯蒂安 1 博纳奇娜,玛丽亚·保拉 1 布朗,克里斯托弗 1 克鲁恩斯,西蒙 1 达文波特,詹姆斯·哈罗德 1 多诺维克,卡莱布 1 El Ouraoui,丹尼尔 1 英格兰,马修 1 方丹,帕斯卡 1 甘津格,哈拉尔德 1 格里吉奥,阿尔伯托 1 古曼,艾莉森 1 哈根,乔治 1 艾哈迈德·伊尔凡 1 乔瓦诺维奇,德扬 1 Mann,Makai 1 孟宝洛 1 诺兹利,安德烈 1 欧,达基 1 佩尔泽,比约恩 1 拉妮丝,西尔维奥 1 罗斯,特奥多 1 盛,颖 1 索夫罗尼·斯托克曼,维奥里卡 1 树桩,亚伦 1 斯特伦茨,林赛 1 斯图姆,托马斯 1 维斯瓦纳坦,阿琼 1 维登巴赫,克里斯托夫 1 威尔逊,阿玛利 全部的 前5名连载 4 自动推理杂志 4 系统设计中的形式化方法 三 计算机科学讲义 2 理论计算机科学 2 符号计算杂志 2 信息与计算 2 计算机科学中的逻辑方法 1 信息学报 1 人工智能 1 数学与人工智能年鉴 1 ACM杂志 1 函数与逻辑程序设计杂志 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 理论计算机科学中的电子笔记 1 可满足性,布尔建模与计算杂志 领域 64 计算机科学(68-XX) 35 数理逻辑与基础(03-XX) 8 一般性和全局性主题;收藏(00-XX) 1 历史与传记(01-XX) 按年份列出的出版物 所有引用出版物 被引用的前5名出版物 zbMATH公开赛中包含的引文 56出版物有被引用589时间365个文档 引用人▼ 年▼ 求解SAT和SAT模理论,从抽象的Davis-Putnam-Logemann-Loveland过程到\(\operatorname{DPLL}(T)\)。 Zbl 1326.68164尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 137 2006 DPLL(\(T\):快速决策过程。 Zbl 1103.68616甘津格,哈拉尔德;哈根,乔治;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 42 2004 Nelson-Oppen组合过程正确性的新证明。 Zbl 0893.03001蒂内利,塞萨尔;哈兰迪,迈赫迪 30 1996 非不相交理论的结合和可满足性程序的组合。 Zbl 1018.68033蒂内利,塞萨尔;林格森,克里斯托夫 26 2003 可满足模理论。 Zbl 1392.68379巴雷特,克拉克;蒂内利,塞萨尔 22 2018 SAT模理论中的按需分裂。 Zbl 1165.68480号巴雷特,克拉克;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 21 2006 模型演化演算。 Zbl 1278.68249鲍姆加特纳,彼得;蒂内利,塞萨尔 18 2003 结合了不稳定的无限理论。 Zbl 1108.03014蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。 18 2005 利用可满足模理论求解量化验证条件。 Zbl 1213.68376葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔 17 2007 模型演化演算作为一阶DPLL方法。 Zbl 1182.03034鲍姆加特纳,彼得;蒂内利,塞萨尔 15 2008 SMT中有限模型发现的量词实例化技术。 Zbl 1381.68275雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克 13 2013 分类理论的组合决策程序。 Zbl 1111.68691蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。 13 2004 具有等式的模型演化演算。 Zbl 1135.03325鲍姆加特纳,彼得;蒂内利,塞萨尔 12 2005 归纳数据类型理论的一种抽象决策过程。 Zbl 1129.68022巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔 11 2007 地面插值为平等理论。 Zbl 1234.68257福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔 11 2009 模型演化演算中的引理学习。 Zbl 1165.03308鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔 10 2006 背景推理机在剩余共享理论推理中的协作。 Zbl 1019.03004号蒂内利,塞萨尔 10 2003 组合理论的地面插值。 Zbl 1250.68188歌尔,阿米特;萨瓦Krstić;蒂内利,塞萨尔 10 2009 抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 10 2005 反例引导的SMT合成量词实例化。 Zbl 1381.68059雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克 10 2015 等式理论结合中的词语问题判定。 Zbl 1049.03032巴德尔,弗兰兹;蒂内利,塞萨尔 9 2002 用无函数子句逻辑化简计算有限模型。 Zbl 1171.68040鲍姆加特纳,彼得;福斯,亚历山大;德尼维尔,汉斯;蒂内利,塞萨尔 9 2009 组合可满足模参数理论。 Zbl 1186.68297萨瓦Krstić;歌尔,阿米特;格伦迪,吉姆;蒂内利,塞萨尔 7 2007 利用可满足模理论求解量化验证条件。 Zbl 1184.68461葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔 7 2009 \(\mathcal{ME}\)(LIA)–具有线性整数算术约束的模型演化。 Zbl 1182.03033号鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔 7 2008 递归数据类型理论中可满足性的一种抽象决策过程。 兹布1277.68132巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔 6 2007 使用逻辑框架进行SMT验证检查。 Zbl 1284.68521号树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔 6 2013 基于DPLL的地基可满足模理论演算。 Zbl 1013.68192号蒂内利,塞萨尔 6 2002 结合非稳定无限理论。 Zbl 1261.03069蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。 6 2003 将SMT求解器扩展到高阶逻辑。 Zbl 07178968巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克 6 2019 SMT中有限集和基数约束的一种新的决策过程。 Zbl 1475.68430班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔 5 2016 模型进化与平等-修订和实施。 Zbl 1258.03020鲍姆加特纳,彼得;佩尔泽,比约恩;蒂内利,塞萨尔 5 2012 在共享构造器的等式理论联合中判定词问题。 Zbl 0976.03051巴德尔,弗兰兹;蒂内利,塞萨尔 4 1999 在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1098.03048巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔 4 2006 用于系统构造和分析的工具和算法。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。会议记录。 Zbl 1360.68006 三 2015 SMT中递归函数的模型发现。 Zbl 1475.68448号雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔 三 2016 结合决策过程的实证理论分享建构者。 Zbl 1045.03013巴德尔,弗兰兹;蒂内利,塞萨尔 三 2002 模型演化与等模内建理论。 Zbl 1341.68180号鲍姆加特纳,彼得;蒂内利,塞萨尔 三 2011 用扩展设计理论求解器。 Zbl 06821625雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克 三 2017 无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克 三 2015 一个有效的字符串约束SMT求解器。 Zbl 1404.68135号梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根 三 2016 固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根 2 2015 在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1126.03302巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔 2 2004 SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔 2 2019 理论结合:超越平等分享。 兹布1443.68116博纳奇娜,玛丽亚·保拉;方丹,帕斯卡;林格森,克里斯托夫;蒂内利,塞萨尔 2 2019 SMT中基于反驳的合成。 Zbl 1427.68051雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根 2 2019 SMT求解器中位宽度无关的证明。 Zbl 07178987尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐哈尔,尤尼;巴雷特,克拉克;蒂内利,塞萨尔 2 2019 编辑:符号计算和可满足性检验。 Zbl 1444.68006 2 2020 SMT中的关系约束求解。 Zbl 06778402孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克 2 2017 地面插值为平等理论。 Zbl 1239.03022福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔 2 2012 利用可逆条件求解量化位向量约束。 Zbl 07388006尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔 2 2021 约束理论联合上的约束逻辑规划。 Zbl 0924.68050蒂内利,塞萨尔;哈兰迪,迈赫迪T。 1 1998 结合等式理论共享非折叠自由构造器。 Zbl 0962.03037巴德尔,弗兰兹;蒂内利,塞萨尔 1 2000 2004年,爱尔兰科克,反证和第二届决策程序语用学国际研讨会论文选编。 Zbl 1271.68015号 1 2005 描述逻辑,理论结合,等等。在弗兰兹·巴德60岁生日之际献给他的文章。 Zbl 1428.68036 1 2019 具有共享选择器的数据类型。 Zbl 06958125雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克 1 2018 利用可逆条件求解量化位向量约束。 Zbl 07388006尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔 2 2021 编辑:符号计算和可满足性检验。 Zbl 1444.68006 2 2020 将SMT求解器扩展到高阶逻辑。 Zbl 07178968巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克 6 2019 SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔 2 2019 理论结合:超越平等分享。 兹布1443.68116博纳奇娜,玛丽亚·保拉;方丹,帕斯卡;林格森,克里斯托夫;蒂内利,塞萨尔 2 2019 SMT中基于反驳的合成。 Zbl 1427.68051雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根 2 2019 SMT求解器中位宽度无关的证明。 Zbl 07178987尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐哈尔,尤尼;巴雷特,克拉克;蒂内利,塞萨尔 2 2019 描述逻辑,理论结合,等等。在弗兰兹·巴德60岁生日之际献给他的文章。 Zbl 1428.68036 1 2019 可满足模理论。 Zbl 1392.68379巴雷特,克拉克;蒂内利,塞萨尔 22 2018 具有共享选择器的数据类型。 Zbl 06958125雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克 1 2018 用扩展设计理论求解器。 Zbl 06821625雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克 三 2017 SMT中的关系约束求解。 Zbl 06778402孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克 2 2017 SMT中有限集和基数约束的一种新的决策过程。 Zbl 1475.68430班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔 5 2016 SMT中递归函数的模型发现。 Zbl 1475.68448号雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔 三 2016 一个有效的字符串约束SMT求解器。 Zbl 1404.68135号梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根 三 2016 反例引导的SMT合成量词实例化。 Zbl 1381.68059雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克 10 2015 用于系统构造和分析的工具和算法。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。会议记录。 Zbl 1360.68006 三 2015 无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克 三 2015 固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根 2 2015 SMT中有限模型发现的量词实例化技术。 Zbl 1381.68275雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克 13 2013 使用逻辑框架进行SMT验证检查。 Zbl 1284.68521号树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔 6 2013 模型进化与平等-修订和实施。 Zbl 1258.03020鲍姆加特纳,彼得;佩尔泽,比约恩;蒂内利,塞萨尔 5 2012 地面插值为平等理论。 Zbl 1239.03022福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔 2 2012 模型演化与等模内建理论。 Zbl 1341.68180号鲍姆加特纳,彼得;蒂内利,塞萨尔 三 2011 地面插值为平等理论。 Zbl 1234.68257福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔 11 2009 组合理论的地面插值。 Zbl 1250.68188歌尔,阿米特;萨瓦Krstić;蒂内利,塞萨尔 10 2009 用无函数子句逻辑化简计算有限模型。 Zbl 1171.68040鲍姆加特纳,彼得;福斯,亚历山大;德尼维尔,汉斯;蒂内利,塞萨尔 9 2009 利用可满足模理论求解量化验证条件。 Zbl 1184.68461葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔 7 2009 模型演化演算作为一阶DPLL方法。 Zbl 1182.03034鲍姆加特纳,彼得;蒂内利,塞萨尔 15 2008 \(\mathcal{ME}\)(LIA)–具有线性整数算术约束的模型演化。 Zbl 1182.03033号鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔 7 2008 利用可满足模理论求解量化验证条件。 Zbl 1213.68376葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔 17 2007 归纳数据类型理论的一种抽象决策过程。 Zbl 1129.68022巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔 11 2007 组合可满足模参数理论。 Zbl 1186.68297萨瓦Krstić;歌尔,阿米特;格伦迪,吉姆;蒂内利,塞萨尔 7 2007 递归数据类型理论中可满足性的一种抽象决策过程。 兹布1277.68132巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔 6 2007 求解SAT和SAT模理论,从抽象的Davis-Putnam-Logemann-Loveland过程到\(\operatorname{DPLL}(T)\)。 Zbl 1326.68164尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 137 2006 SAT模理论中的按需分裂。 Zbl 1165.68480号巴雷特,克拉克;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 21 2006 模型演化演算中的引理学习。 Zbl 1165.03308鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔 10 2006 在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1098.03048巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔 4 2006 结合了不稳定的无限理论。 Zbl 1108.03014蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。 18 2005 具有等式的模型演化演算。 Zbl 1135.03325鲍姆加特纳,彼得;蒂内利,塞萨尔 12 2005 抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 10 2005 2004年,爱尔兰科克,反证和第二届决策程序语用学国际研讨会论文选编。 Zbl 1271.68015号 1 2005 DPLL(\(T\):快速决策过程。 Zbl 1103.68616甘津格,哈拉尔德;哈根,乔治;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔 42 2004 分类理论的组合决策程序。 Zbl 1111.68691蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。 13 2004 在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1126.03302巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔 2 2004 非不相交理论的结合和可满足性程序的组合。 Zbl 1018.68033蒂内利,塞萨尔;林格森,克里斯托夫 26 2003 模型演化演算。 Zbl 1278.68249鲍姆加特纳,彼得;蒂内利,塞萨尔 18 2003 背景推理机在剩余共享理论推理中的协作。 Zbl 1019.03004号蒂内利,塞萨尔 10 2003 结合非稳定无限理论。 Zbl 1261.03069蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。 6 2003 等式理论结合中的词语问题判定。 Zbl 1049.03032巴德尔,弗兰兹;蒂内利,塞萨尔 9 2002 基于DPLL的地基可满足模理论演算。 Zbl 1013.68192号蒂内利,塞萨尔 6 2002 结合决策过程的实证理论分享建构者。 Zbl 1045.03013巴德尔,弗兰兹;蒂内利,塞萨尔 三 2002 结合等式理论共享非折叠自由构造器。 Zbl 0962.03037巴德尔,弗兰兹;蒂内利,塞萨尔 1 2000 在共享构造器的等式理论联合中判定词问题。 Zbl 0976.03051巴德尔,弗兰兹;蒂内利,塞萨尔 4 1999 约束理论联合上的约束逻辑规划。 Zbl 0924.68050蒂内利,塞萨尔;哈兰迪,迈赫迪T。 1 1998 Nelson-Oppen组合过程正确性的新证明。 Zbl 0893.03001蒂内利,塞萨尔;哈兰迪,迈赫迪 30 1996 所有引用出版物 被引用的前5名出版物 全部的 前5名被627位作者引用 27 蒂内利,塞萨尔 19 巴雷特,克拉克W。 17 雷诺兹,安德鲁 17 维登巴赫,克里斯托夫 15 吉尔迪,西尔维奥 12 布兰切特,贾斯敏·克里斯蒂安 12 博纳奇娜,玛丽亚·保拉 12 方丹,帕斯卡 10 拉妮丝,西尔维奥 10 塞巴斯蒂安尼,罗伯托 9 德穆拉,莱昂纳多 9 林格森,克里斯托夫 8 利勒,尤利娅 7 鲍姆加特纳,彼得 7 布鲁托梅索,罗伯托 7 沃德曼,乌韦 6 巴德尔,弗兰兹 6 格里吉奥,阿尔伯托 6 梅斯盖尔·瓜伊塔,何塞 6 尼尤文胡斯,罗伯特 5 亚历山德罗·西马蒂 5 伊希尼姆,姆纳乔 5 弗勒里,马蒂亚斯 5 加内什,维杰 5 昆卡,维克多 5 索夫罗尼·斯托克曼,维奥里卡 5 斯图姆,托马斯 4 聪明,柯蒂斯 4 布朗伯格,马丁 4 德哈贝,大卫 4 威慑,摩根 4 多达罗,胭脂红 4 乔瓦诺维奇,德扬 4 科茨里亚斯,伊利亚斯。 4 科宁,丹尼尔 4 科斯蒂克,萨瓦A。 4 尼美兹,艾娜 4 准备好了,大卫艾伦 4 普莱纳,马蒂亚斯 4 吕默,菲利普 4 肖布,托尔斯滕H。 4 莎莉吉娜,娜塔莎 4 斯图基,彼得·詹姆斯 4 图雷特,索菲 4 德康川 4 扎尔巴,卡罗杰罗G。 4 周,敏 三 Ábrahám,埃里卡 三 阿尔贝蒂,弗朗西斯科 三 班萨尔,克希提 三 本特坎普,亚历山大 三 比约纳,尼古拉·S。 三 乔克伦,保拉 三 康臣,西尔文 三 德卡特,兄弟 三 埃格斯,安德烈亚斯 三 格布瑟,马丁 三 贾诺拉,亚历山德罗 三 格雷厄姆·伦格兰德,圣潘 三 他,费 三 霍尼克,约琴 三 美国农业部约翰逊 三 科罗文,康斯坦丁 三 林奇,克里斯托弗A。 三 马拉茶,马可 三 奥利维拉斯,艾伯特 三 施密特,雷诺A。 三 沙卡,纳塔拉扬 三 宋晓宇 三 树桩,亚伦 三 孙佳光 三 沃龙科夫,安德烈 三 瓦克米罗维奇,佩塔 三 你,贾淮 三 张燕 2 阿尔维亚诺,马里奥 2 阿瑞斯,卡洛斯 2 班科维奇,米兰 2 巴博萨,哈尼尔 2 比尔,阿明 2 阮成平 2 博迪斯基,曼纽尔 2 波菲尔,米克尔 2 Böhme,萨沙 2 博格沃德,斯特凡 2 波扎诺,马可 2 布鲁努赫,莫里斯 2 加尔瓦内斯,迭戈 2 基哈尼,扎卡里亚 2 上帝啊,约根 2 克莱森,科恩 2 克里斯蒂娅,马克西米利亚诺 2 克鲁恩斯,西蒙 2 德奥利维拉,迭戈卡米尼亚B。 2 D'silva,维杰 2 埃尔巴特,塞尔达尔 2 菲茨克,阿诺 2 佛罗伦萨,卡米洛 2 马丁,弗兰兹 2 福斯,亚历山大 …还有527位作者 全部的 前5名在41个系列中被引用 69 自动推理杂志 22 系统设计中的形式化方法 19 逻辑程序设计理论与实践 12 人工智能 11 信息与计算 9 符号计算杂志 9 限制条件 8 理论计算机科学 6 数学与人工智能年鉴 6 程序设计中的逻辑和代数方法杂志 4 计算逻辑学报 4 计算机科学中的数学 三 计算的形式化方面 三 MSCS公司。计算机科学中的数学结构 三 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 2 信息学报 2 全球最优化杂志 2 计算机基础理论 1 信息处理信函 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 逻辑研究 1 计算机程序设计学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 人工智能通信 1 运筹学年鉴 1 设计、代码和密码学 1 分布式计算 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 计算系统理论 1 组合优化期刊 1 应用数学杂志 1 机器学习研究杂志 1 应用逻辑杂志 1 算法 1 数学规划计算 1 中欧计算机科学杂志 1 ISRN组合学 全部的 前5名引用18个领域 334 计算机科学(68-XX) 145 数理逻辑与基础(03-XX) 18 运筹学,数学规划(90-XX) 5 组合数学(05-XX) 5 信息与通信理论,电路(94-XX) 三 交换代数(13-XX) 三 范畴论;同调代数(18-XX) 三 生物学和其他自然科学(92-XX) 2 一般性和全局性主题;收藏(00-XX) 2 数值分析(65-XX) 1 历史与传记(01-XX) 1 一般代数系统(08-XX) 1 代数几何(14-XX) 1 常微分方程(34-XX) 1 动力系统与遍历理论(37-XX) 1 几何学(51-XX) 1 系统论;控制(93-XX) 1 数学教育(97-XX) 按年份列出的引文