SAT Based Predicate Abstraction for Hardware Verification.

Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang

Browse the full SAT paper archive.