Bryant, Randal E.

2 publications

JAIR 2025 Certified Knowledge Compilation with Application to Formally Verified Model Counting Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

AAAI 2002 SetA*: An Efficient BDD-Based Heuristic Search Algorithm Rune Møller Jensen, Randal E. Bryant, Manuela M. Veloso