1. A Unified Framework for DPLL(T) + Certificates. (23rd May 2013) Authors: Zhou, Min; He, Fei; Wang, Bow-Yaw; Gu, Ming; Sun, Jiaguang Other Names: Song Xiaoyu Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2013(2013) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗