An analysis of SAT-based model checking techniques in an industrial environment (2005)

by N Amla, X Du, A Kuehlmann, R P Kurshan, K L McMillan
Venue:Proceedings of 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME’05), volume 3725 of Lecture Notes in Computer Science