The Resolution Complexity of Random Constraint Satisfaction Problems (Q3507525)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Resolution Complexity of Random Constraint Satisfaction Problems
scientific article

    Statements

    The Resolution Complexity of Random Constraint Satisfaction Problems (English)
    0 references
    19 June 2008
    0 references
    random constraint satisfaction problems
    0 references
    resolution complexity
    0 references
    random \(k\)-SAT
    0 references
    phase transition
    0 references
    sharp threshold
    0 references

    Identifiers