Efficient implementation of property directed reachability

By Niklas Eén, Alan Mishchenko, Robert K. Brayton. Formal Methods in Computer-Aided Design, 2011

383 citations recorded by the source corpus.