Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.

Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta

Browse the full CAV paper archive.