Flexible proof production in an industrial-strength SMT solver (Q2104495)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Flexible proof production in an industrial-strength SMT solver
scientific article

    Statements

    title
    Flexible proof production in an industrial-strength SMT solver (English)
    0 references
    author
    Haniel Barbosa
    0 references
    Andrew Reynolds
    0 references
    Gereon Kremer
    0 references
    Hanna Lachnitt
    0 references
    Aina Niemetz
    0 references
    Andres Nötzli
    0 references
    Alex Ozdemir
    0 references
    Mathias Preiner
    0 references
    Arjun Viswanathan
    0 references
    Scott Viteri
    0 references
    Yoni Zohar
    0 references
    Cesare Tinelli
    0 references
    Clark Barrett
    0 references
    publication date
    7 December 2022
    0 references
    zbMATH DE Number
    7628179
    0 references
    cites work
    DRAT-trim
    0 references
    Q5219923
    0 references
    Q2703808
    0 references
    Q4823141
    0 references
    Q4221106
    0 references
    describes a project that uses
    DRAT-trim
    0 references
    Coq
    0 references
    Isabelle/HOL
    0 references
    SMT-LIB
    0 references
    MathSAT5
    0 references
    CVC4
    0 references
    MiniSat
    0 references
    z3
    0 references
    Lean
    0 references
    SMTCoq
    0 references
    SMTInterpol
    0 references
    veriT
    0 references
    CertiStr
    0 references
    CLSAT
    0 references
    Sledgehammer
    0 references
    OpenAlex ID
    W4289104006
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2104495&oldid=37468621"
    Powered by MediaWiki