编辑配置文件(在新选项卡中打开) Randal E.布莱恩特。 合著者距离 作者ID: 布莱恩特·兰德尔 发布日期: Randal E.布莱恩特。;R.E.布莱恩特。 编入索引的文档: 46出版物自1984年以来 合著者: 23位合著者具有33联合出版物 612位合作作者 全部的 前5名合著者 12 单作者的 9 Shuvendu Kumar拉希里 9 桑吉特·阿伦库马尔·塞希亚 6 米罗斯拉夫·韦列夫。 5 Heule,Marijn J.H。 2 德国人,Steven M。 2 阿米特·戈尔 2 约瑟夫·里夫斯(Joseph E.Reeves)。 2 Carl-Johan H.塞格。 2 斯特里赫曼(Ofer Strichman) 1 巴西里,E。 1 布莱恩·布雷迪(Bryan A.Brady)。 1 陈一安 1 拜伦·库克 1 Lawrence P.黄。 1 Rune Möller Jensen 1 丹尼尔·科宁 1 大卫·R·奥哈拉龙。 1 乔尔·欧·瓦克宁。 1 里德·西蒙斯(Reid G.Simmons)。 1 克里希纳·苏布拉马尼 1 穆拉利达尔·塔卢普尔 1 J.D.泰勒。 1 马努埃拉·维洛索。 1 杨伯伦 全部的 前5名系列 4 电气电子工程师学会计算机期刊 4 ACM计算逻辑事务 2 自动推理杂志 1 人工智能 1 计算机协会杂志 1 符号计算杂志 1 IEEE电路与系统汇刊。一: 基础理论与应用 1 非线性分析。真实世界应用程序 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 领域 43 计算机科学(68至XX) 12 信息与通信理论、电路(94-XX) 8 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用826中的次679文件 引用人▼ 年份▼ 布尔函数操作的基于图形的算法。 Zbl 0593.94022号 Randal E.布莱恩特。 552 1986 布尔函数的VLSI实现和图形表示的复杂性及其在整数乘法中的应用。 Zbl 1220.68060号 R.E.布莱恩特。 68 1991 使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 Zbl 1010.68522号 Randal E.布莱恩特。;Lahiri,Shuvendu K。;Sanjit A.Seshia。 22 2002 用抽象方法确定位向量算法。 Zbl 1186.68281号 Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼(Ofer Strichman);布莱恩·布雷迪 17 2007 用SAT确定分离公式。 兹比尔1010.68168 斯特里赫曼(Ofer Strichman);Sanjit A.Seshia。;Randal E.布莱恩特。 14 2002 在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程。 Zbl 1069.68119号 米罗斯拉夫·韦列夫。;Randal E.布莱恩特。 14 2003 使用将未解释函数的逻辑有效简化为命题逻辑的处理器验证。 Zbl 1365.68317号 Randal E.布莱恩特。;德国人,史蒂文;米罗斯拉夫·韦列夫。 13 2001 无界系统验证的索引谓词发现。 Zbl 1103.68627号 Shuvendu K.拉希里。;Randal E.布莱恩特。 13 2004 谓词抽象的符号方法。 Zbl 1278.68181号 Lahiri,Shuvendu K。;Randal E.布莱恩特。;拜伦·库克 11 2003 通过谓词抽象构造量化不变量。 Zbl 1202.68251号 Lahiri,Shuvendu K。;Randal E.布莱恩特。 10 2004 二进制决策图。 Zbl 1392.68151号 Randal E.布莱恩特。 9 2018 在带有未解释函数的等式逻辑中利用正等式。 Zbl 1046.68584号 Randal E.布莱恩特。;德国人,史蒂文;米罗斯拉夫·维列夫 9 1999 使用参数化解边界确定无量词Presburger公式。 Zbl 1125.03010号 Sanjit A.Seshia。;Randal E.布莱恩特。 8 2005 关于求解UTVPI约束的布尔组合。 Zbl 1129.68079号 Sanjit A.Seshia。;苏布拉马尼,K。;Randal E.布莱恩特。 7 2007 具有传递性约束的布尔可满足性。 Zbl 1365.68318号 Randal E.布莱恩特。;米罗斯拉夫·韦列夫。 5 2002 MOS数字系统的开关级模型和模拟器。 兹伯利0529.94021 Randal E.布莱恩特。 5 1984 UCLID中无序微处理器的建模和验证。 Zbl 1019.68623号 Lahiri,Shuvendu K。;Sanjit A.Seshia。;Randal E.布莱恩特。 5 2002 使用基于BDD的SAT解算器生成扩展的分辨率证明。 Zbl 1467.68203号 Randal E.布莱恩特。;Heule,Marijn J.H。 5 2021 布尔函数的VLSI实现和图形表示的复杂性及其在整数乘法中的应用。 Zbl 1395.68144号 Randal E.布莱恩特。 4 1991 具有传递性约束的布尔可满足性。 兹比尔0974.94501 Randal E.布莱恩特。;米罗斯拉夫·韦列夫。 4 2000 二进制和零抑制决策图的链约简。 Zbl 1423.68119号 Randal E.布莱恩特。 3 2018 EVC:利用未解释的函数和内存,利用正等式和保守变换,对等式逻辑进行有效性检查。 Zbl 0996.68588号 米罗斯拉夫·韦列夫。;Randal E.布莱恩特。 3 2001 先进无序微处理器的演绎验证。 Zbl 1278.68180号 Lahiri,Shuvendu K。;Randal E.布莱恩特。 3 2003 重新审视积极平等。 兹比尔1126.68570 Lahiri,Shuvendu K。;Randal E.布莱恩特。;阿米特·戈尔;穆拉利达尔·塔卢普尔 3 2004 使用符号三值系统模型对数字电路进行形式验证。 Zbl 0767.94023号 Randal E.布莱恩特。;Carl-Johan H.塞格。 2 1991 基于逻辑模拟的硬件验证方法。 Zbl 0809.94035号 Randal E.布莱恩特。 2 1991 使用二进制矩图验证算术电路。 Zbl 1002.68588号 Randal E.布莱恩特。;陈一安 2 2001 术语级有界模型检验中的收敛性测试。 Zbl 1179.68079号 Randal E.布莱恩特。;Lahiri,Shuvendu K。;Sanjit A.Seshia。 2 2003 状态集分支:利用BDD进行启发式搜索。 Zbl 1182.68248号 Rune M.延森。;马努埃拉·维洛索。;Randal E.布莱恩特。 2 2008 带有索引谓词的谓词抽象。 Zbl 1367.68196号 Lahiri,Shuvendu K。;Randal E.布莱恩特。 2 2007 一种用于模拟动物皮毛图案形成的有限差分方法。 Zbl 1170.65070号 巴西里,E。;R·布莱恩特。;乔治,M。;Yerion,K。 2 2009 使用基于BDD的求解器生成量化布尔公式的双重证明。 Zbl 07437093号 Randal E.布莱恩特。;Heule,Marijn J.H。 2 2021 使用符号三值系统模型对数字电路进行形式验证。 Zbl 0800.94299 Randal E.布莱恩特。;卡尔·约翰·西格。 1 1991 串并联可变电阻网络的几何特性。 Zbl 0866.94029号 Randal E.布莱恩特。;J.D.泰勒。;Lawrence P.黄。 1 1994 优化约束丰富模型的符号模型检查。 Zbl 1046.68611号 杨伯伦;里德·西蒙斯;Randal E.布莱恩特。;大卫·R·奥哈拉龙。 1 1999 机舱视图:符号模型检查的计算支持。 Zbl 1142.68430号 Randal E.布莱恩特。 1 2008 传播冗余子句的预处理。 Zbl 07628184号 约瑟夫·里夫斯(Joseph E.Reeves)。;Heule,Marijn J.H。;Randal E.布莱恩特。 1 2022 传播冗余子句的预处理。 Zbl 07628184号 约瑟夫·里夫斯(Joseph E.Reeves)。;Heule,Marijn J.H。;Randal E.布莱恩特。 1 2022 使用基于BDD的SAT解算器生成扩展的分辨率证明。 Zbl 1467.68203号 Randal E.布莱恩特。;Heule,Marijn J.H。 5 2021 使用基于BDD的求解器生成量化布尔公式的双重证明。 Zbl 07437093号 Randal E.布莱恩特。;Heule,Marijn J.H。 2 2021 二进制决策图。 Zbl 1392.68151号 Randal E.布莱恩特。 9 2018 二进制和零抑制决策图的链约简。 Zbl 1423.68119号 Randal E.布莱恩特。 3 2018 一种模拟动物皮毛图案形成的有限差分方法。 Zbl 1170.65070号 巴西里,E。;R·布莱恩特。;乔治,M。;Yerion,K。 2 2009 状态集分支:利用BDD进行启发式搜索。 兹比尔1182.68248 Rune M.延森。;马努埃拉·维洛索。;Randal E.布莱恩特。 2 2008 机房视图:符号模型检查的计算支持。 Zbl 1142.68430号 Randal E.布莱恩特。 1 2008 用抽象方法确定位向量算法。 Zbl 1186.68281号 Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼(Ofer Strichman);布莱恩·布雷迪 17 2007 关于求解UTVPI约束的布尔组合。 兹比尔1129.68079 Sanjit A.Seshia。;苏布拉马尼,K。;Randal E.布莱恩特。 7 2007 带有索引谓词的谓词抽象。 Zbl 1367.68196号 Lahiri,Shuvendu K。;Randal E.布莱恩特。 2 2007 使用参数化解边界确定无量词Presburger公式。 Zbl 1125.03010号 Sanjit A.Seshia。;Randal E.布莱恩特。 8 2005 无界系统验证的索引谓词发现。 Zbl 1103.68627号 Lahiri,Shuvendu K。;Randal E.布莱恩特。 13 2004 通过谓词抽象构造量化不变量。 Zbl 1202.68251号 Lahiri,Shuvendu K。;Randal E.布莱恩特。 10 2004 重新审视积极平等。 Zbl 1126.68570号 Lahiri,Shuvendu K。;Randal E.布莱恩特。;阿米特·戈尔;穆拉利达尔·塔卢普尔 3 2004 在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程。 Zbl 1069.68119号 米罗斯拉夫·韦列夫。;Randal E.布莱恩特。 14 2003 谓词抽象的符号方法。 Zbl 1278.68181号 Lahiri,Shuvendu K。;Randal E.布莱恩特。;拜伦·库克 11 2003 先进无序微处理器的演绎验证。 Zbl 1278.68180号 Lahiri,Shuvendu K。;Randal E.布莱恩特。 3 2003 术语级有界模型检验中的收敛性测试。 Zbl 1179.68079号 Randal E.布莱恩特。;Lahiri,Shuvendu K。;Sanjit A.Seshia。 2 2003 使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 Zbl 1010.68522号 Randal E.布莱恩特。;Lahiri,Shuvendu K。;Sanjit A.Seshia。 22 2002 用SAT确定分离公式。 兹比尔1010.68168 斯特里赫曼(Ofer Strichman);Sanjit A.Seshia。;Randal E.布莱恩特。 14 2002 具有传递性约束的布尔可满足性。 Zbl 1365.68318号 Randal E.布莱恩特。;米罗斯拉夫·韦列夫。 5 2002 UCLID中无序微处理器的建模和验证。 Zbl 1019.68623号 Lahiri,Shuvendu K。;Sanjit A.Seshia。;Randal E.布莱恩特。 5 2002 使用将未解释函数的逻辑有效简化为命题逻辑的处理器验证。 Zbl 1365.68317号 Randal E.布莱恩特。;德国人,史蒂文;米罗斯拉夫·韦列夫。 13 2001 EVC:一个有效性检查器,用于与未解释的函数和记忆相等的逻辑,利用正相等和保守变换。 Zbl 0996.68588号 米罗斯拉夫·韦列夫。;Randal E.布莱恩特。 3 2001 使用二进制矩图验证算术电路。 Zbl 1002.68588号 Randal E.布莱恩特。;陈一安 2 2001 具有传递性约束的布尔可满足性。 Zbl 0974.94501号 Randal E.布莱恩特。;米罗斯拉夫·韦列夫。 4 2000 在带有未解释函数的等式逻辑中利用正等式。 Zbl 1046.68584号 Randal E.布莱恩特。;德国人,史蒂文;米罗斯拉夫·维列夫 9 1999 优化约束丰富模型的符号模型检查。 Zbl 1046.68611号 杨伯伦;里德·西蒙斯;Randal E.布莱恩特。;运营;David R.Hallaron。 1 1999 串并联可变电阻网络的几何特性。 Zbl 0866.94029号 Randal E.布莱恩特。;J.D.泰勒。;Lawrence P.黄。 1 1994 布尔函数的VLSI实现和图形表示的复杂性及其在整数乘法中的应用。 Zbl 1220.68060号 R.E.布莱恩特。 68 1991 布尔函数的VLSI实现和图形表示的复杂性及其在整数乘法中的应用。 Zbl 1395.68144号 Randal E.布莱恩特。 4 1991 使用符号三值系统模型对数字电路进行形式验证。 Zbl 0767.94023号 Randal E.布莱恩特。;Carl-Johan H.塞格。 2 1991 基于逻辑模拟的硬件验证方法。 Zbl 0809.94035号 Randal E.布莱恩特。 2 1991 使用符号三值系统模型对数字电路进行形式验证。 兹比尔0800.94299 Randal E.布莱恩特。;Carl-Johan H.塞格。 1 1991 布尔函数操作的基于图形的算法。 Zbl 0593.94022号 Randal E.布莱恩特。 552 1986 MOS数字系统的开关级模型和模拟器。 Zbl 0529.94021号 Randal E.布莱恩特。 5 1984 所有引用出版物 前5名被引用出版物 全部的 前5名1211位作者引用 33 贝特·博利格 17 英戈·韦格纳 13 莫西·亚亚科夫·瓦尔迪 10 亚历山德罗·西马蒂 10 西林,德特勒夫 9 Randal E.布莱恩特。 9 安德烈·奥古斯托·西雷 9 威廉·扬·范霍夫 8 阿明·比尔 8 克里希纳·苏布拉马尼 7 吉安弗兰科·西亚多 7 罗尔夫·德雷克斯勒 6 查克拉波蒂,苏普拉特克 6 Kröning,丹尼尔 5 帕罗什·阿齐兹·阿卜杜拉 5 奥特曼·阿伊特·穆罕默德 5 阿尔贝托·格里乔 5 Jan Friso,格鲁特 5 Heule,Marijn J.H。 5 克里斯托夫·梅内尔 5 新池敏人 5 塞缪尔·帕斯特瓦 5 西尔维奥·兰伊斯 5 福斯托·斯波托 5 斯蒂芬·瓦克 5 王启春 5 汉斯·赞特马 4 萨伊德·阿贝德 4 克拉克·W·巴雷特。 4 尼古拉·贝内什 4 比比洛,P.N。 4 罗德里克·布洛姆 4 卢博什·布里姆 4 克拉克(Edmund Melson jun Clarke)。 4 莱昂纳多·德·莫拉 4 吕克·德·雷德 4 乔治·德尔扎诺 4 马克·吉尔 4 奥尔纳·格伦伯格 4 约翰·胡克(John N.jun Hooker)。 4 川原骏 4 皮埃尔·侯爵 4 肯尼思·麦克米兰。 4 雷金、珍妮·查尔斯 4 马可·罗维里 4 萨夫拉内克,大卫 4 马丁·索尔霍夫 4 Aleksandr Anatol’evich塞梅诺夫 4 桑吉特·阿伦库马尔·塞希亚 4 圣尼克,潘泰利蒙 4 斯特里赫曼(Ofer Strichman) 4 Tan、Chik How 4 塔希萨·托达 4 范德波尔,扬·科内利斯 4 范登·布勒克,盖伊 4 菲利普·沃尔费尔 3 加尔阿姆拉姆 3 安徒生、亨利克·雷夫 3 Hiroki Arimura 3 巴哈雷赫巴德班 3 克里斯特尔·拜尔 3 贝恩德·贝克尔 3 鲁道夫·伯哈默 3 吉尔斯·伯特兰 3 马可·波扎诺 3 罗伯托·布鲁托梅索 3 马克·伯里 3 帕特里克·库索特 3 戴维·戴哈贝 3 Shuhei Denzumi 3 赫莱内·法吉尔 3 霍夫曼,约格 3 马提亚斯·霍米斯特 3 高石县Horiyama 3 亨利克·胡尔加德 3 茨城,东芝 3 伊迈、希德基 3 艾哈迈德·埃尔凡 3 维克托·荣格 3 Fabrice Kordon公司 3 Marta Z.Kwiatkowska。 3 马丁·洛宾 3 克利斯朵夫·罗侯 3 鲁帕克·马朱姆达尔 3 毛兹,沙哈尔 3 Joáo P.塞尔瓦侯爵。 3 罗伯特·纽文胡斯 3 卡拉广场 3 阿尔贝托,Policriti 3 托拜厄斯·普罗格 3 赫瓦尔德拉德姆 3 艾哈迈德·雷兹 3 卢梭,路易斯·马汀 3 Kunihiko Sadakane 3 安东内拉·桑顿 3 彼得·萨维克 3 罗伯托·塞巴斯蒂亚尼 3 Carl-Johan H.塞格。 3 苏,武藏 3 宋晓宇 …还有1111名作者 全部的 前5名103篇连载文章中引用 46 系统设计中的形式化方法 44 理论计算机科学 31 人工智能 28 离散应用数学 22 信息处理信件 22 信息与计算 22 自动推理杂志 16 计算系统理论 13 逻辑与代数程序设计杂志 11 限制条件 9 计算的形式方面 9 信息计算杂志 8 信息学报 7 计算机与系统科学杂志 7 数学与人工智能年鉴 6 国际近似推理杂志 5 信息科学 5 符号计算杂志 5 算法 5 机器学习 5 人工智能研究杂志 5 RAIRO公司。理论信息学及其应用 4 离散事件动态系统 4 欧洲运筹学杂志 4 国际计算机数学杂志 4 国际计算机与系统科学杂志 4 逻辑程序设计理论与实践 4 ACM计算逻辑事务 4 应用逻辑杂志 3 国际控制杂志 3 数学社会科学 3 计算机与运筹学 3 运筹学年鉴 3 自动化和远程控制 3 数学编程。A系列B系列 3 应用非经典逻辑杂志 3 国际应用数学与计算机科学杂志 3 量子信息处理 3 计算机科学中的逻辑方法 3 算法 2 离散数学 2 国际通用系统杂志 2 应用数学与计算 2 计算机程序设计科学 2 电路、系统和信号处理 2 计算机科学与技术杂志 2 国际并行程序设计杂志 2 国际计算机科学基础杂志 2 线性代数及应用 2 分布式计算 2 组合优化期刊 2 数据挖掘与知识发现 2 高阶和符号计算 2 应用数学杂志 2 密码学和通信 2 数学规划计算 2 计算机科学前沿 2 Prikladnaya Diskretnaya Matematika公司 1 计算机与数学及其应用 1 国际系统科学杂志 1 富兰克林学院学报 1 统计物理杂志 1 编程和计算机软件 1 软件。实践与经验 1 系统和控制信件 1 纯逻辑与应用逻辑年鉴 1 SIAM离散数学杂志 1 密码学杂志 1 实时系统 1 随机结构与算法 1 设计、代码和密码 1 SIAM审查 1 RAIRO公司。Informatique Théorique et Applications公司 1 工程、通信和计算中的应用代数 1 国际鲁棒与非线性控制杂志 1 国际应用科学与工程分叉与混沌杂志 1 俄罗斯数学 1 逻辑、语言与信息杂志 1 组合数学电子杂志 1 复杂性 1 工程中的数学问题 1 并行算法与应用 1 欧洲控制杂志 1 应用数学与决策科学杂志 1 武汉大学自然科学学报 1 离散数学科学与密码学杂志 1 计算机基础理论 1 系统科学与复杂性杂志 1 电子商务研究 1 复杂系统研究进展 1 计算机语言、系统和结构 1 计算智能 1 ACM实验算法杂志 1 离散算法杂志 1 统计方法与应用 1 离散优化 1 泛逻辑 1 通信数学进展 1 亚欧数学杂志 1 国际智能计算与控制论杂志 …还有3部连续剧 全部的 前5名28个领域被引用 572 计算机科学(68至XX) 89 数学逻辑和基础(03-XX) 70 信息与通信理论、电路(94-XX) 68 运筹学、数学规划(90-XX) 33 组合数学(05-XX) 22 阶、格、有序代数结构(06-XX) 20 博弈论、经济学、金融和其他社会和行为科学(91-XX) 15 系统论;控制(93至XX) 9 统计学(62-XX) 8 生物学和其他自然科学(92-XX) 6 数论(11-XX) 5 数值分析(65-XX) 5 量子理论(81-XX) 3 一般代数系统(08-XX) 3 交换代数(13-XX) 3 线性代数和多线性代数;矩阵理论(15-XX) 3 范畴理论;同调代数(18-XX) 3 凸和离散几何(52至XX) 3 概率论与随机过程(60-XX) 1 场论和多项式(12-XX) 1 群论与推广(20-XX) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 欧氏空间的调和分析(42至XX) 1 抽象谐波分析(43至XX) 1 微分几何(53至XX) 1 经典热力学,传热(80-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文