Implicates and prime implicates in random 3-SAT (Q2674186)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Implicates and prime implicates in random 3-SAT
scientific article

    Statements

    Implicates and prime implicates in random 3-SAT (English)
    0 references
    0 references
    0 references
    22 September 2022
    0 references
    prime implicates
    0 references
    minimal nogoods
    0 references
    random 3-SAT
    0 references
    phase transition
    0 references
    search
    0 references
    knowledge compilation
    0 references
    finite-size scaling
    0 references
    propositional satisfiability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references