Efficient Satisfiability Modulo Theories via Delayed Theory Combination

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    36 Citations (Scopus)
    Original languageEnglish
    Title of host publicationComputer Aided Verification 2005, Edinburgh,UK, 6-10.7.2005
    EditorsKousha Etessami, Sriram K. Rajamani
    Pages335-349
    Publication statusPublished - 2005
    MoE publication typeA4 Article in a conference publication

    Keywords

    • logic
    • propositional satisfiability
    • satisfiability modulo theory
    • theory combination

    Cite this