Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis (1982)

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