Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013, Article ID 964682, 13 pages
Research Article

A Unified Framework for DPLL(T) + Certificates

Min Zhou,1,2,3,4 Fei He,1,2,3 Bow-Yaw Wang,5 Ming Gu,1,2,3 and Jiaguang Sun1,2,3

1Tsinghua National Laboratory for Information Science and Technology (TNList), Beijing 100084, China
2School of Software, Tsinghua University, Beijing 100084, China
3Key Laboratory for Information System Security, MOE, Beijing 100084, China
4Department of Computer Science and Technologies, Tsinghua University, Beijing 100084, China
5Institute of Information Science, Academia Sinica, Taipei 115, Taiwan

Received 6 February 2013; Accepted 8 April 2013

Academic Editor: Xiaoyu Song

Copyright © 2013 Min Zhou et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, and Jiaguang Sun, “A Unified Framework for DPLL(T) + Certificates,” Journal of Applied Mathematics, vol. 2013, Article ID 964682, 13 pages, 2013.