Applying SAT methods in Unbounded Symbolic Model Checking," (2002)

by K McMillan
Venue:in Proceedings of CAV,