Definability for model counting (Q2303508)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Definability for model counting
scientific article

    Statements

    title
    Definability for model counting (English)
    0 references
    author
    Jean-Marie Lagniez
    0 references
    Emmanuel Lonca
    0 references
    Pierre Marquis
    0 references
    publication date
    4 March 2020
    0 references
    zbMATH Keywords
    definability
    0 references
    model counting
    0 references
    describes a project that uses
    Glucose
    0 references
    Mjollnir
    0 references
    Chaff
    0 references
    MUSer2
    0 references
    Lingeling
    0 references
    MiniSat
    0 references
    Runsolver
    0 references
    sharpSAT
    0 references
    Coprocessor
    0 references
    cites work
    Q5503674
    0 references
    Q5593816
    0 references
    Q4052071
    0 references
    Q4411161
    0 references
    Q5824680
    0 references
    Q2786915
    0 references
    Q5282953
    0 references
    Q4411139
    0 references
    Q3194802
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T20
    0 references
    03B05
    0 references
    68R07
    0 references
    94C11
    0 references
    zbMATH DE Number
    7176851
    0 references
    OpenAlex ID
    W2999944813
    0 references
    Wikidata QID
    Q126402804
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2303508&oldid=36567285"
    Powered by MediaWiki