Efficient generation of craig interpolants in satisfiability modulo theories (Q2946624)

From MaRDI portal
Revision as of 11:18, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Efficient generation of craig interpolants in satisfiability modulo theories
scientific article

    Statements

    Efficient generation of craig interpolants in satisfiability modulo theories (English)
    0 references
    0 references
    0 references
    0 references
    17 September 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    Craig interpolation
    0 references
    SMT
    0 references
    decision procedures
    0 references
    0 references
    0 references
    0 references