Efficient Satisfiability Modulo Theories via Delayed Theory Combination (2005)

by M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Ranise, R Sebastiani
Venue:In CAV’05 (LNCS