Delaying satisfiability for random 2SAT (Q2852549)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Delaying satisfiability for random 2SAT
scientific article

    Statements

    Delaying satisfiability for random 2SAT (English)
    0 references
    0 references
    0 references
    0 references
    9 October 2013
    0 references
    0 references
    random structures
    0 references
    random SAT
    0 references
    Achlioptas process
    0 references
    threshold phenomenon
    0 references
    0 references