Efficient Satisfiability Modulo Theories via Delayed Theory Combination.

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani

Browse the full CAV paper archive.