Exact enumeration of satisfiable 2-SAT formulae (Q6138912)

From MaRDI portal
scientific article; zbMATH DE number 7779745
Language Label Description Also known as
English
Exact enumeration of satisfiable 2-SAT formulae
scientific article; zbMATH DE number 7779745

    Statements

    Exact enumeration of satisfiable 2-SAT formulae (English)
    0 references
    0 references
    0 references
    0 references
    16 December 2023
    0 references
    2-CNF
    0 references
    exact enumeration
    0 references
    random graphs
    0 references
    phase transitions
    0 references
    strongly connected components
    0 references
    satisfiability
    0 references
    generating functions
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references