A complexity gap for tree resolution (Q1601038): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00037-001-8194-y / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2726059329 / rank
 
Normal rank

Latest revision as of 21:18, 19 March 2024

scientific article
Language Label Description Also known as
English
A complexity gap for tree resolution
scientific article

    Statements

    A complexity gap for tree resolution (English)
    0 references
    0 references
    17 June 2002
    0 references
    satisfiability
    0 references
    tree-resolution proofs
    0 references
    combinatorial principles
    0 references
    gap phenomenon
    0 references
    infinite mathematical theories
    0 references
    hard propositional tautologies
    0 references
    propositional proof complexity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references