Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani

    Research output: Contribution to journalArticleScientificpeer-review

    43 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1493-1525
    JournalInformation and Computation
    Issue number10
    Publication statusPublished - 2006
    MoE publication typeA1 Journal article-refereed


    • decision procedure
    • propositional satisfiability
    • satisfiability modulo theories

    Cite this