Document Search Results

from until

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Bruttomesso, Roberto; Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Sebastiani, Roberto

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

Ann. Math. Artif. Intell. 55, No. 1-2, 63-99 (2009).

MSC: 68T15 68T20

Cite Review PDF

Full Text: DOI Link

Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto

Interpolant generation for UTVPI. (English) Zbl 1250.68186

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 167-182 (2009).

MSC: 68Q60 03B35 03C40