Randal E. Bryant

1. A methodology for hardware verification based on logic simulation
   1991/04/01 by Randal E. Bryant · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Embedded Systems Design Techniques
2. Predicate Abstraction with Indexed Predicates
   2004/07/02 by Shuvendu K. Lahiri, Randal E. Bryant, Lahiri, Shuvendu K. +1 · 2 citations
   Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
3. Generating Extended Resolution Proofs with a BDD-Based SAT Solver
   2021/05/03 by Randal E. Bryant, Marijn J. H. Heule, Bryant, Randal E. +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
4. Numerical Considerations in Weighted Model Counting
   2025/08/08 by Randal E. Bryant, Bryant, Randal E. · 1 voice
   Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Numerical Analysis (math.NA) #cs.AI #cs.LO #math.NA