A BDD/SAT Solver for Formal Verification Applications

Presented as part of the 2001 HCSS conference.

License: 
Creative Commons 2.5
John Franco
Robert Price
John Schlipf
Jeff Ward
Sean Weaver

A BDD/SAT Solver for Formal Verification Applications
Switch to experimental viewer