Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Nieuwenhuis, Robert Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H., Hagen, G., Nieuwenhuis, R., Oliveras, A., & Tinelli, C. (2004). DPLL(T): Fast Decision Procedures. In Computer aided verification: 16th International Conference, CAV 2004 (pp. 175-188). Berlin, Germany: Springer.