Symbolic Model Checking Using SAT Procedures instead of BDDs.

Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu

Browse the full DAC paper archive.