A theory-based decision heuristic for DPLL(T)Dan GoldwasserOfer Strichmanet al.2008FMCAD 2008Conference paper