编辑配置文件（在新选项卡中打开） 蒂内利，塞萨尔 计算距离： 计算 作者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） 按年份列出的引文