Probabilistic characterization of random Max \(r\)-Sat (Q2042075)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Probabilistic characterization of random Max \(r\)-Sat
scientific article

    Statements

    Probabilistic characterization of random Max \(r\)-Sat (English)
    0 references
    0 references
    0 references
    27 July 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    combinatorial optimization
    0 references
    maximum satisfiability
    0 references
    fitness landscapes
    0 references
    probabilistic characterization
    0 references
    autocorrelation length
    0 references
    local search
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references