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

Poul Frederick Williams Armin Biere Edmund M. Clarke Anubhav Gupta Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. 124-138 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#WilliamsBCG00