Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Definability for model counting - MaRDI portal

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