Space proof complexity for random $3$-CNFs via a $(2-\epsilon)$-Hall's Theorem (Q6256182)

From MaRDI portal
scientific article; zbMATH DE number 900189331
Language Label Description Also known as
English
Space proof complexity for random $3$-CNFs via a $(2-\epsilon)$-Hall's Theorem
scientific article; zbMATH DE number 900189331

    Statements

    6 November 2014
    0 references
    cs.CC
    0 references
    math.CO
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references