Efficient Satisfiability Modulo Theories via Delayed Theory Combination


Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, and Roberto Sebastiani. Efficient satisfiability modulo theories via delayed theory combination. In Kousha Etessami and Sriram K. Rajamani, editors, CAV 2005, volume 3576 of Lecture Notes in Computer Science, pages 335–349. Springer, 2005.

Suggested BibTeX entry:

    author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Silvio Ranise and Peter van Rossum and Roberto Sebastiani},
    booktitle = {CAV 2005},
    editor = {Kousha Etessami and Sriram K. Rajamani},
    pages = {335--349},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Efficient Satisfiability Modulo Theories via Delayed Theory Combination},
    volume = {3576},
    year = {2005},

This work is not available online here.