On Hybrid SAT Solving Using Tree Decompositions and BDDs