Randal Bryant

Carnegie Mellon University
United States

G2R World Ranking 1825th

G2R United States Ranking 1017th

H-Index & Metrics

Google H-index 57
Number of Google Citations 29,064
Number of Articles on DBLP 142

Awards & Achievements

  • 2000 - ACM Fellow Randal Bryant is best known for Ordered Binary Decision Diagrams, a canonical form for boolean functions. Although originally developed for applications in CAD, this data structure has found many applications in areas such as hardware and software verification, automated theorem proving, and AI planning.
Profile was last updated at July 17, 2020, 12:22 pm
Guide2Research Ranking is based on Google Scholar H-Index.
Report Missing or Incorrect Information