21 search results - page 5 / 5 » Exploiting structure in an AIG based QBF solver |
BIRTHDAY
2009
Springer
13 years 11 months 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...