QBF-Based Formal Verification: Experience and Perspectives
A machine program for theorem-proving