Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323)

From MaRDI portal
scientific article; zbMATH DE number 7709773
Language Label Description Also known as
English
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems
scientific article; zbMATH DE number 7709773

    Statements

    Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (English)
    0 references
    10 July 2023
    0 references
    proof complexity
    0 references
    resolution
    0 references
    size-space trade-offs
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers