A Theory-Based Decision Heuristic for DPLL(T).

Dan Goldwasser Ofer Strichman Shai Fine A Theory-Based Decision Heuristic for DPLL(T). 1-8 2008 FMCAD http://dx.doi.org/10.1109/FMCAD.2008.ECP.17 conf/fmcad/2008 db/conf/fmcad/fmcad2008.html#GoldwasserSF08