编辑配置文件（在新选项卡中打开） 斯特里赫曼（Ofer Strichman） 合著者距离 作者ID： 条纹n.ofer 发布日期： 斯特里赫曼（Ofer Strichman）；O·斯特里赫曼。 外部链接： 管理程序 已编制索引的文档： 57出版物自2002年以来，包括2本书 8作为编辑的贡献 合著者： 51位合著者具有62联合出版物 988合著作者 全部的 前5名合著者 三 单作者的 11 丹尼尔·科宁 8 哈娜·乔克勒 7 萨加·查基 6 乔尔·欧·瓦克宁。 6 瓦迪姆·里夫钦 5 阿里·古芬克尔 4 阿明·比尔 4 克拉克（Edmund Melson jun Clarke）。 4 罗曼·格什曼 三 布洛克，罗德里克 三 马苏德·易卜拉希米 三 亚历山大·纳德尔 三 阿米尔·普努利 三 桑吉特·阿伦库马尔·塞希亚 2 Randal E.布莱恩特。 2 尼尔·德鲁克 2 本尼·戈德林 2 亚历克斯·格罗斯 2 阿努巴夫·古普塔 2 帕斯卡·凯塞利 2 阿里·马茨利亚 2 米查尔·佩恩 2 约夫·罗德 2 迈克尔·维克斯勒 1 尼古拉·S·比约纳。 1 布莱恩·布雷迪（Bryan A.Brady）。 1 马丁·查普曼 1 莱昂纳多·德·莫拉 1 迪马·埃伦博根 1 伊利亚·B·格茨巴赫。 1 奥尔纳·格伦伯格 1 何希明 1 亚历山大·伊夫里 1 Shmuel Katz 1 玛雅·科夫曼 1 孔顺浩 1 希勒，库格勒 1 詹姆斯·H·库库拉。 1 弗拉维奥·勒尔达 1 Kuldeep S.梅尔。 1 奥利·迈尔 1 诺夫，耶尔 1 罗扎诺夫、米伦 1 迈克尔·西格尔 1 尼尚·辛哈 1 斯泽德，斯特凡 1 穆拉利达尔·塔卢普尔 1 迈克尔·陶奇尼格 1 迈克尔·西奥博尔德 1 维斯曼，Radislav 1 毛尔·维茨曼 1 托马斯·沃尔 1 詹姆斯·沃雷尔。 1 凯伦·约拉夫 全部的 前5名系列 12 系统设计中的形式化方法 4 理论计算机科学电子笔记 三 信息与计算 2 可满足性、布尔建模与计算杂志 2 理论计算机科学课文。EATCS系列 1 信息学报 1 人工智能 1 计算机与系统科学杂志 1 计算的形式方面 1 人工智能研究杂志 1 数学与人工智能年鉴 1 信息计算杂志 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 65 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 8 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 场论和多项式（12-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物有被引用334中的次255个文档 引用人▼ 年份▼ 决策程序。算法观点。兰达尔·布莱恩特（Randal E.Bryant）的前言。 Zbl 1149.68071号 丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 57 2008 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 20 2016 用抽象方法确定位向量算法。 Zbl 1186.68281号 Randal E.布莱恩特。；丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman）；布雷迪，布莱恩 17 2007 有界模型检查的完整性和复杂性。 Zbl 1202.68244号 埃德蒙·克拉克；丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（Ofer Strichman） 17 2004 证明递归过程等价性的推理规则。 Zbl 1161.68013号 本尼·戈德林；斯特里赫曼（Ofer Strichman） 16 2008 用SAT确定分离公式。 Zbl 1010.68168号 斯特里赫曼（Ofer Strichman）；Sanjit A.Seshia。；Randal E.布莱恩特。 14 2002 有效计算重复直径。 Zbl 1022.68579号 丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 13 2003 基于优化的假设保证推理。 Zbl 1147.68568号 萨加·查基；斯特里赫曼（Ofer Strichman） 11 2007 快速提取高水平最小不可满足岩芯。 Zbl 1331.68211号 瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 11 2011 小模型属性：它能有多小？ Zbl 1012.03040号 阿米尔·普努利；约夫·罗德；斯特里赫曼（Ofer Strichman）；迈克尔·西格尔 11 2002 使用ILP和机器学习技术的基于SAT的抽象重定义。 Zbl 1010.68515号 埃德蒙·克拉克；阿努巴夫·古普塔；詹姆斯·库库拉；斯特里赫曼（Ofer Strichman） 10 2002 用SAT求解Presburger和线性算法。 Zbl 1019.68592号 斯特里赫曼（Ofer Strichman） 9 2002 学习错误语言。 Zbl 1471.68101号 马丁·查普曼；哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman）；迈克尔·陶奇尼格 8 2015 有界模型检查的线性完整性阈值。 Zbl 1360.68592号 丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（Ofer Strichman）；托马斯·沃尔；詹姆斯·沃雷尔 7 2011 用于证明递归过程等价性的推理规则。 Zbl 1288.68042号 本尼·戈德林；斯特里赫曼（Ofer Strichman） 6 2010 多线程程序的回归验证。 Zbl 1325.68060号 萨加·查基；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 6 2012 加速安全属性的有界模型检查。 Zbl 1073.68054号 斯特里赫曼（Ofer Strichman） 6 2004 预处理CNF公式的成本效益高的超分辨率。 兹比尔1128.68465 罗曼·格什曼；斯特里赫曼（Ofer Strichman） 6 2005 非平衡递归函数的回归验证。 Zbl 1427.68055号 斯特里赫曼（Ofer Strichman）；毛尔·维茨曼 6 2016 超越空虚：走向最强的传递公式。 兹比尔1291.68253 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 6 2013 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman） 5 2004 多进程系统的验证引导欠近似加宽。 Zbl 1369.68259号 奥尔纳·格伦伯格；弗拉维奥·勒尔达；斯特里赫曼（Ofer Strichman）；迈克尔·西奥博尔德 5 2005 有界模型检查的抽象细化。 Zbl 1081.68620号 阿努巴夫·古普塔；斯特里赫曼（Ofer Strichman） 5 2005 真空前后。 Zbl 1165.68402号 哈娜·乔克勒；斯特里赫曼（Ofer Strichman） 4 2009 分离逻辑的范围分配。 Zbl 1103.68079号 穆拉利达尔·塔卢普尔；尼尚·辛哈；斯特里赫曼（Ofer Strichman）；阿米尔·普努利 4 2004 无人驾驶飞行器的循环路线。 Zbl 1475.68341号 尼尔·德鲁克；米查尔·佩恩；斯特里赫曼（Ofer Strichman） 4 2016 最终增加SAT。 Zbl 1423.68464号 亚历山大·纳德尔；瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 4 2014 等式逻辑的另一个决策过程。 Zbl 1081.68627号 奥利·迈尔；斯特里赫曼（Ofer Strichman） 4 2005 海法卫星：一种新的鲁棒SAT解算器。 Zbl 1176.68120号 罗曼·格什曼；斯特里赫曼（Ofer Strichman） 三 2006 提取不可满足的小岩芯的方法。 Zbl 1165.68487号 罗曼·格什曼；玛雅·科夫曼；斯特里赫曼（Ofer Strichman） 三 2008 证明双方终止。 Zbl 1322.68052号 迪马·埃伦博根；Shmuel Katz；斯特里赫曼（Ofer Strichman） 三 2015 满意度测试的理论和应用——SAT 2010。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。 Zbl 1196.68013号 三 2010 本地重启。 Zbl 1138.68552号 瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 三 2008 合成非真空系统。 Zbl 1484.68096号 布洛克，罗德里克；哈娜·乔克勒；马苏德·易卜拉希米；斯特里赫曼（Ofer Strichman） 三 2017 学习软件错误的语言。 Zbl 1437.68071号 哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 三 2020 LTL查询检查的变体。 Zbl 1325.68144号 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 2 2011 多线程程序的回归验证（具有锁的扩展和动态线程创建）。 Zbl 1331.68048号 萨加·查基；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 2 2015 学习CSP中的一般约束。 Zbl 1385.68042号 迈克尔·维克斯勒；斯特里赫曼（Ofer Strichman） 2 2016 顺序和并发C程序的有效验证。 Zbl 1101.68677号 查基，S。；E.克拉克。；A.格罗斯。；沃克宁，J。；O·斯特里赫曼。；约拉夫，K。 2 2004 未解释功能的功能一致性降低。 Zbl 1272.03071号 阿米尔·普努利；斯特里赫曼（Ofer Strichman） 2 2006 加速基于删除的最小不合格岩芯提取。 Zbl 1484.68223号 亚历山大·纳德尔；瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 2 2014 周期程序的组合序列化。 Zbl 1426.68042号 萨加·查基；阿里·古芬克尔；孔顺浩；斯特里赫曼（Ofer Strichman） 1 2013 使用最少谓词的谓词抽象。 兹比尔1179.68033 萨加·查基；埃德蒙·克拉克；亚历克斯·格罗斯；斯特里赫曼（Ofer Strichman） 1 2003 基于随机密码构造的模型检查的欠近似。 Zbl 1135.68478号 阿里·马茨利亚；斯特里赫曼（Ofer Strichman） 1 2007 构建小型等式图，用于决定具有未解释函数的等式逻辑。 Zbl 1093.03013号 约夫·罗德；斯特里赫曼（Ofer Strichman） 1 2006 基于通用电路的模型检查的欠近似。 兹比尔1191.68413 阿里·马茨利亚；斯特里赫曼（Ofer Strichman） 1 2010 无人飞行器的循环路线。 Zbl 1423.68445号 尼尔·德鲁克；何希明；约尔·瓦克宁；米查尔·佩恩；斯特里赫曼（Ofer Strichman） 1 2019 在P-time中生成最小及物性约束以确定等式逻辑。 Zbl 1277.68146号 罗扎诺夫、米伦；斯特里赫曼（Ofer Strichman） 1 2008 用\（L^｛*｝\）进行假设保证推理的三个优化。 Zbl 1147.68569号 萨加·查基；斯特里赫曼（Ofer Strichman） 1 2008 学习CSP中的一般约束。 Zbl 1459.68196号 迈克尔·维克斯勒；斯特里赫曼（Ofer Strichman） 1 2015 学习软件错误的语言。 Zbl 1437.68071号 哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 三 2020 无人飞行器的循环路线。 Zbl 1423.68445号 尼尔·德鲁克；何希明；约尔·瓦克宁；米查尔·佩恩；斯特里赫曼（Ofer Strichman） 1 2019 合成非真空系统。 Zbl 1484.68096号 布洛克，罗德里克；哈娜·乔克勒；马苏德·易卜拉希米；斯特里赫曼（Ofer Strichman） 三 2017 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 20 2016 非平衡递归函数的回归验证。 Zbl 1427.68055号 斯特里赫曼（Ofer Strichman）；毛尔·维茨曼 6 2016 无人驾驶飞行器的循环路线。 Zbl 1475.68341号 尼尔·德鲁克；米查尔·佩恩；斯特里赫曼（Ofer Strichman） 4 2016 学习CSP中的一般约束。 Zbl 1385.68042号 迈克尔·维克斯勒；斯特里赫曼（Ofer Strichman） 2 2016 学习错误语言。 Zbl 1471.68101号 马丁·查普曼；哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman）；迈克尔·陶奇尼格 8 2015 证明双方终止。 Zbl 1322.68052号 迪马·埃伦博根；Shmuel Katz；斯特里赫曼（Ofer Strichman） 三 2015 多线程程序的回归验证（具有锁的扩展和动态线程创建）。 Zbl 1331.68048号 萨加·查基；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 2 2015 学习CSP中的一般约束。 Zbl 1459.68196号 迈克尔·维克斯勒；斯特里赫曼（Ofer Strichman） 1 2015 最终增加SAT。 Zbl 1423.68464号 亚历山大·纳德尔；瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 4 2014 加速基于删除的最小不合格岩芯提取。 Zbl 1484.68223号 亚历山大·纳德尔；瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 2 2014 超越空虚：走向最强的传递公式。 兹比尔1291.68253 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 6 2013 周期程序的组合序列化。 Zbl 1426.68042号 萨加·查基；阿里·古芬克尔；孔顺浩；斯特里赫曼（Ofer Strichman） 1 2013 多线程程序的回归验证。 Zbl 1325.68060号 萨加·查基；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 6 2012 快速提取高水平最小不可满足岩芯。 Zbl 1331.68211号 瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 11 2011 有界模型检查的线性完整性阈值。 Zbl 1360.68592号 丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（Ofer Strichman）；托马斯·沃尔；詹姆斯·沃雷尔 7 2011 LTL查询检查的变体。 Zbl 1325.68144号 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 2 2011 证明递归过程等价性的推理规则。 Zbl 1288.68042号 本尼·戈德林；斯特里赫曼（Ofer Strichman） 6 2010 满意度测试的理论和应用——SAT 2010。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。 Zbl 1196.68013号 三 2010 基于通用电路的模型检查的欠近似。 兹比尔1191.68413 阿里·马茨利亚；斯特里赫曼（Ofer Strichman） 1 2010 真空前后。 Zbl 1165.68402号 哈娜·乔克勒；斯特里赫曼（Ofer Strichman） 4 2009 决策程序。算法观点。兰达尔·布莱恩特（Randal E.Bryant）的前言。 Zbl 1149.68071号 丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 57 2008 证明递归过程等价性的推理规则。 Zbl 1161.68013号 本尼·戈德林；斯特里赫曼（Ofer Strichman） 16 2008 提取不可满足的小岩芯的方法。 Zbl 1165.68487号 罗曼·格什曼；玛雅·科夫曼；斯特里赫曼（Ofer Strichman） 三 2008 本地重启。 Zbl 1138.68552号 瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman） 三 2008 生成P-时间中的最小传递性约束，用于决定相等逻辑。 Zbl 1277.68146号 罗扎诺夫、米伦；斯特里赫曼（Ofer Strichman） 1 2008 用\（L^｛*｝\）进行假设保证推理的三个优化。 Zbl 1147.68569号 萨加·查基；斯特里赫曼（Ofer Strichman） 1 2008 用抽象方法确定位向量算法。 Zbl 1186.68281号 Randal E.布莱恩特。；丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman）；布雷迪，布莱恩 17 2007 基于优化的假设保证推理。 Zbl 1147.68568号 萨加·查基；斯特里赫曼（Ofer Strichman） 11 2007 基于随机密码构造的模型检查的欠近似。 Zbl 1135.68478号 阿里·马茨利亚；斯特里赫曼（Ofer Strichman） 1 2007 海法卫星：一种新的鲁棒SAT解算器。 Zbl 1176.68120号 罗曼·格什曼；斯特里赫曼（Ofer Strichman） 三 2006 未解释功能的功能一致性降低。 Zbl 1272.03071号 阿米尔·普努利；斯特里赫曼（Ofer Strichman） 2 2006 构建小型等式图，以确定具有未解释函数的等式逻辑。 Zbl 1093.03013号 约夫·罗德；斯特里赫曼（Ofer Strichman） 1 2006 预处理CNF公式的成本效益高的超分辨率。 Zbl 1128.68465号 罗曼·格什曼；斯特里赫曼（Ofer Strichman） 6 2005 多进程系统的验证引导欠近似加宽。 Zbl 1369.68259号 奥尔纳·格伦伯格；弗拉维奥·勒尔达；斯特里赫曼（Ofer Strichman）；迈克尔·西奥博尔德 5 2005 有界模型检查的抽象细化。 Zbl 1081.68620号 阿努巴夫·古普塔；斯特里赫曼（Ofer Strichman） 5 2005 等式逻辑的另一个决策过程。 Zbl 1081.68627号 奥利·迈尔；斯特里赫曼（Ofer Strichman） 4 2005 有界模型检查的完整性和复杂性。 Zbl 1202.68244号 埃德蒙·克拉克；丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（Ofer Strichman） 17 2004 加速安全属性的有界模型检查。 Zbl 1073.68054号 斯特里赫曼（Ofer Strichman） 6 2004 基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号 丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman） 5 2004 分离逻辑的范围分配。 Zbl 1103.68079号 穆拉利达尔·塔卢普尔；尼尚·辛哈；斯特里赫曼（Ofer Strichman）；阿米尔·普努利 4 2004 顺序和并发C程序的有效验证。 Zbl 1101.68677号 查基，S。；E.克拉克。；A.格罗斯。；沃克宁，J。；O·斯特里赫曼。；约拉夫，K。 2 2004 有效计算重复直径。 Zbl 1022.68579号 丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 13 2003 使用最少谓词的谓词抽象。 Zbl 1179.68033号 萨加·查基；埃德蒙·克拉克；亚历克斯·格罗斯；斯特里赫曼（Ofer Strichman） 1 2003 用SAT确定分离公式。 Zbl 1010.68168号 斯特里赫曼（Ofer Strichman）；Sanjit A.Seshia。；Randal E.布莱恩特。 14 2002 小模型属性：它能有多小？ Zbl 1012.03040号 阿米尔·普努利；约夫·罗德；斯特里赫曼（Ofer Strichman）；迈克尔·西格尔 11 2002 使用ILP和机器学习技术的基于SAT的抽象重定义。 Zbl 1010.68515号 埃德蒙·克拉克；阿努巴夫·古普塔；詹姆斯·库库拉；斯特里赫曼（Ofer Strichman） 10 2002 用SAT求解Presburger和线性算法。 兹比尔1019.68592 斯特里赫曼（Ofer Strichman） 9 2002 所有引用出版物 前5名被引用出版物 全部的 前5名544位作者引用 20 斯特里赫曼（Ofer Strichman） 13 丹尼尔·科宁 8 阿明·比尔 6 亚历山德罗·阿巴特 6 克拉克·W·巴雷特。 6 亚历山德罗·西马蒂 6 奥尔纳·格伦伯格 6 科琳娜·s·佩斯勒诺。 5 艾丽卡·阿尔布拉汉姆 5 贝恩德·贝克尔 5 哈娜·乔克勒 5 达纳·菲斯曼 5 国王，安迪 5 菲利普·吕默 5 瓦迪姆·里夫钦 5 塞萨尔·蒂内利 4 布洛克，罗德里克 4 阿尔贝托·格里乔 4 Heule，Marijn J.H。 4 乔治·威森巴赫 三 丹尼尔·艾哈迈德 三 玛丽亚·保拉（Maria Paola Bonacina） 三 Jörg Brauer 三 罗伯特·布鲁托梅索 三 蔡少伟 三 萨加·查基 三 查克拉波蒂，苏普拉特克 三 陈玉芳 三 克拉克（Edmund Melson jun Clarke）。 三 帕拉布·达斯古普塔 三 马苏德·易卜拉希米 三 哈达尔·弗兰克尔 三 迪米特拉·吉安娜科波卢 三 阿里·古芬克尔 三 Järvisalo，马蒂 三 伊戈尔·康诺夫（Igor V.Konnov）。 三 Shuvendu Kumar拉希里 三 弗洛里安·朗辛 三 多雷尔·卢卡努 三 若昂·席尔瓦侯爵。 三 大卫·莫尼奥（David P.Monniaux）。 三 艾娜·尼梅茨 三 乔尔·欧·瓦克宁。 三 安德烈亚·佩鲁福 三 伊丽莎白·波尔格林 三 马蒂亚斯·普雷纳 三 安德鲁·雷诺兹 三 罗西（Matteo A.C.Rossi）。 三 弗拉德·鲁苏 三 克里斯托夫·斯科尔 三 罗伯托·塞巴斯蒂亚尼 三 沙龙·肖姆 三 王，弯腰 三 王，季 三 张新迪 2 穆罕默德·阿卜杜勒·阿齐兹 2 达纳·安格鲁因 2 巴哈雷赫巴德班 2 瓦莱里·巴拉巴诺夫 2 马尔塞洛·玛丽亚·贝尔萨尼 2 贾斯敏·克里斯蒂安·布兰切特 2 马可·波扎诺 2 布莱恩，马丁 2 Ciobâcă，沙特凡 2 克里斯蒂娜·大卫 2 伊曼纽尔·德·安吉利斯 2 Manoj G.迪克西特。 2 段振华 2 穆纳乔·埃切宁 2 埃格利，乌韦 2 法比奥·菲奥拉万蒂 2 帕斯卡·方丹 2 Anthony C.J.福克斯。 2 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 2 维杰·加内什 2 Gheorghiu Bobaru，米哈伊拉 2 圣菲省格拉汉·伦格兰德 2 查尔斯·格雷顿 2 亚历山大·伊夫里 2 米科拉什，雅诺塔 2 汤米·A·琼蒂拉。 2 托比亚斯·卡佩 2 帕斯卡·凯塞利 2 亚历山大·克劳斯 2 奥利弗·库尔曼 2 奥尔纳库普弗曼 2 Stefan Kupferschmid 2 李伯翰 2 李勇 2 Lin，Anthony Widjaja 2 刘德鹏 2 刘万伟 2 帕塔萨拉西马杜苏丹 2 Mandrykin，M.U。 2 马凯·曼 2 毛晓光 2 乌芒·马图尔 2 Kuldeep S.梅尔。 2 何塞·梅塞盖尔·瓜伊塔 2 塞尔吉奥·莫弗 …还有444位作者 全部的 前5名37篇连载文章中引用 35 系统设计中的形式化方法 18 自动推理杂志 10 计算的形式方面 8 信息与计算 8 程序设计中的逻辑和代数方法杂志 5 人工智能 5 理论计算机科学 4 逻辑程序设计理论与实践 三 信息学报 三 计算机程序设计科学 三 约束条件 三 应用逻辑杂志 三 计算机科学中的逻辑方法 2 信息处理信件 2 计算机与系统科学杂志 2 编程和计算机软件 2 纯逻辑与应用逻辑年鉴 2 机器学习 2 计算系统理论 2 应用数学杂志 2 ACM计算逻辑汇刊 2 可满足性、布尔建模与计算杂志 1 倒排索引综述 1 美国数学月刊 1 离散应用数学 1 模糊集与系统 1 符号计算杂志 1 算法 1 人工智能研究杂志 1 数学与人工智能年鉴 1 优化方法和软件 1 浙江大学学报。科学A 1 计算机科学中的数学 1 中欧计算机科学杂志 1 理论生物学杂志 1 Modelirovanie i Analiz信息系统 1 SN运筹学论坛 全部的 前5名19个领域引用 244 计算机科学（68至XX） 64 数学逻辑和基础（03-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 运筹学、数学规划（90-XX） 三 总体主题；集合（00-XX） 三 组合数学（05-XX） 三 系统论；控制（93至XX） 三 信息与通信理论、电路（94-XX） 2 场论和多项式（12-XX） 2 范畴理论；同调代数（18-XX） 2 常微分方程（34-XX） 2 统计学（62-XX） 2 生物学和其他自然科学（92-XX） 1 一般代数系统（08-XX） 1 数论（11-XX） 1 代数几何（14-XX） 1 一般拓扑结构（54-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 按年份列出的引文