A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction

by Niklas Een , Alan Mishchenko , Nina Amla
Citations:8 - 5 self