An analysis of SAT-based model checking techniques (2005)

by N Amla, X Du, A Kuehlmann, R Kurshan, K McMillan
Venue:in an industrial environment,” Correct Hardware Design and Verification Methods