From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain