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

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