An integrated approach for combining BDD and SAT provers | IEEE Conference Publication | IEEE Xplore