An Integrated Approach for Combining BDD and SAT Provers.

Rolf Drechsler, Grschwin Fey, Sebastian Kinder

Browse the full VLSID paper archive.