Solving SAT and SAT Modulo Theories: From an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T (2006)

Cached

Download Links

by Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli
Venue:Journal of the ACM
Citations:142 - 18 self