A Single-Instance Incremental SAT Formulation of Proofand Counterexample-Based Abstraction (2010)

by Niklas Een, Alan Mischenko, Nina Amla
Venue:In Formal Methods in Computer-Aided Design (FMCAD