MathSAT: Tight integration of SAT and mathematical decision procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stefan Schulz, Roberto Sebastiani

    Research output: Contribution to journalArticleScientificpeer-review

    48 Citations (Scopus)
    Original languageEnglish
    JournalJournal of Automated Reasoning
    Publication statusPublished - 2005
    MoE publication typeA1 Journal article-refereed


    • decision procedure
    • propositional satisfiability
    • satisfiability modulo theories

    Cite this