"Integrating CNF and BDD based SAT solvers."

Sivaram Gopalakrishnan, Vijay Durairaj, Priyank Kalla (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics