Academic Journals Database
Disseminating quality controlled scientific knowledge

A Unified Framework for DPLL(T) + Certificates

ADD TO MY LIST
 
Author(s): Min Zhou | Fei He | Bow-Yaw Wang | Ming Gu | Jiaguang Sun

Journal: Journal of Applied Mathematics
ISSN 1110-757X

Volume: 2013;
Date: 2013;
Original page
Why do you need a reservation system?      Affiliate Program