Constraint satisfaction: random regular <i>k</i>-SAT (Q2990202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constraint satisfaction: random regular <i>k</i>-SAT
scientific article

    Statements

    Constraint satisfaction: random regular <i>k</i>-SAT (English)
    0 references
    0 references
    29 July 2016
    0 references
    k-SAT problems
    0 references
    phase transition
    0 references
    cavity method
    0 references
    whitening process
    0 references

    Identifiers