SAT-Based Scalable Formal Verification Solutions - Ganai, Malay K.; Gupta, Aarti (Springer US, 2007)