Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu. Symbolic Model Checking Using SAT Procedures instead of BDDs. In DAC. pages 317-320, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.