( en | de | ru )

 

Disambiguation of "Bryant, Randal E."

Author of the publication

copydeleteadd this publication to your clipboard
Indexed Predicate Discovery for Unbounded System Verification.

, and . CAV, volume 3114 of Lecture Notes in Computer Science, page 135-147. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Randal Sivertson

Jennifer Bryant

Doreen Bryant

Melchior Bryant

Thomas Bryant

 

Other publications of authors with the same name

Bit-Level Analysis of an SRT Divider Circuit.. DAC, page 661-665. ACM Press, (1996)Automatic Clock Abstraction from Sequential Circuits., , and . DAC, page 707-711. ACM Press, (1995)A Performance Study of BDD-Based Model Checking., , , , , , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 255-289. Springer, (1998)Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods., and . CAV, volume 2725 of Lecture Notes in Computer Science, page 154-166. Springer, (2003)Revisiting Positive Equality., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)Modeling and Verification of Out-of-Order Microprocessors in UCLID., , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 142-159. Springer, (2002)Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation., and . ASIAN, volume 1345 of Lecture Notes in Computer Science, page 18-31. Springer, (1997)Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis., and . DATE, page 10816-10821. IEEE Computer Society, (2003)SetA*: An Efficient BDD-Based Heuristic Search Algorithm., , and . AAAI/IAAI, page 668-673. AAAI Press / The MIT Press, (2002)Clausal Proofs for Pseudo-Boolean Reasoning., , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 443-461. Springer, (2022)