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

by Roberto Bruttomesso , Alessandro Cimatti , Anders Franzen , Alberto Griggio , Roberto Sebastiani
Venue:IN PROC. LPAR’06, VOLUME 4246 OF LNAI
Citations:20 - 7 self