Hossein M. Sheini Karem A. Sakallah From Propositional Satisfiability to Satisfiability Modulo Theories. 1-9 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_1 db/conf/sat/sat2006.html#SheiniS06