Farooque, et al.. Two Simulations About DPLL(T). 23 Apr. 2012.