DPLL( T): Fast Decision Procedures.

Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli

Browse the full CAV paper archive.