Efficient satisfiability modulo theories via delayed theory combination (2005)

by Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
Venue:In CAV’05: Computer Aided Verification