DPLL(T): Fast Decision Procedures (2004)

by Harald Ganzinger , George Hagen , Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli
Citations:118 - 14 self