From algorithms to connectivity and back: finding a giant component in random \(k\)-SAT (Q6538662)

From MaRDI portal





scientific article; zbMATH DE number 7848092
Language Label Description Also known as
English
From algorithms to connectivity and back: finding a giant component in random \(k\)-SAT
scientific article; zbMATH DE number 7848092

    Statements

    From algorithms to connectivity and back: finding a giant component in random \(k\)-SAT (English)
    0 references
    0 references
    0 references
    0 references
    14 May 2024
    0 references

    Identifiers