Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. (English) Zbl 1192.68627
MSC:
68T15
68T20