Cutting the mix (Q1702886)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cutting the mix
scientific article

    Statements

    title
    Cutting the mix (English)
    0 references
    author
    Jürgen Christ
    0 references
    Jochen Hoenicke
    0 references
    publication date
    1 March 2018
    0 references
    describes a project that uses
    SMT-LIB
    0 references
    SMTInterpol
    0 references
    Yices
    0 references
    z3
    0 references
    CVC4
    0 references
    MathSAT5
    0 references

    Identifiers

    zbMATH DE Number
    6845624
    0 references
    OpenAlex ID
    W2099987197
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1702886&oldid=32713226"
    Powered by MediaWiki