DMCA

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

by Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli
Venue:JOURNAL OF THE ACM
Citations:255 - 29 self