QBF-Based Formal Verification: Experience and Perspectives
Multi-resolution on compressed sets of clauses