21 search results - page 5 / 5 » Exploiting structure in an AIG based QBF solver |
135
click to vote
BIRTHDAY
2009
Springer
16 years 8 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...