Delayed theory combination vs. nelson-oppen for satisfiability modulo theories: a comparative analysis (0)

by Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Alberto Griggio, Roberto Sebastiani
Venue:Annals of Mathematics and Artificial Intelligence