"SAT Based Predicate Abstraction for Hardware Verification."

Edmund M. Clarke et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics