An Integrated Approach for Combining BDDs and SAT Provers, by Rolf Drechsler, Gorschwin Fey, and Sebastian Kinder FACTA UNIVERSITATIS (NIS)ˇSER.: ELEC. ENERG. vol. 20. no. 3, December 2007, 415-436 The two most frequently used methods are …