Symbolic Model Checking without BDDs.

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

Browse the full TACAS paper archive.