Efficient satisfiability modulo theories via delayed theory combination (0)

by M Bozzano, R Bruttomesso, A Cimatti, T Juntilla, S Ranise, P van Rossum, R Sebastiani
Venue:In Proc. of CAV, volume 3576 of LNCS, 2005. 412 F. Mari and E. Tronci