Integrating CNF and BDD based SAT solvers | IEEE Conference Publication | IEEE Xplore