BDD-based decision procedures

Propositional satisfiability

DLL-based decision procedures

Software Formal Methods