×
作者ID: 布莱恩特·兰德尔最近由“Bryant,Randal E.”撰写的zbMATH文章
发布日期: Randal E.布莱恩特。;R.E.布莱恩特。
编入索引的文档: 46出版物自1984年以来
合著者: 23位合著者具有33联合出版物
612位合作作者

按年份列出的出版物

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名

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部连续剧

按年份列出的引文