Applying sat methods in unbounded symbolic model checking (2002)

by K McMillan
Venue:In Computer Aided Verification