Dancing with Decision Diagrams: A Combined Approach to Exact Cover