Bounded Model Checking (2009)

by A Biere
Venue:Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185