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
Using binary patterns for counting falsifying assignments of conjunctive forms - MaRDI portal

Using binary patterns for counting falsifying assignments of conjunctive forms (Q2520658)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using binary patterns for counting falsifying assignments of conjunctive forms
scientific article

    Statements

    title
    Using binary patterns for counting falsifying assignments of conjunctive forms (English)
    0 references
    publication date
    16 December 2016
    0 references
    zbMATH Keywords
    \#SAT
    0 references
    \#FAL
    0 references
    binary patterns
    0 references
    enumerative combinatorics
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    03B70
    0 references
    05A15
    0 references
    68Q25
    0 references
    zbMATH DE Number
    6664835
    0 references
    Wikidata QID
    Q113317783
    0 references
    OpenAlex ID
    W2233676586
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2520658&oldid=39139220"
    Powered by MediaWiki