QBF-Based Formal Verification: Experience and Perspectives
Computational Complexity