On the automatizability of resolution and related propositional proof systems (Q1881219)

From MaRDI portal
Revision as of 12:00, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
On the automatizability of resolution and related propositional proof systems
scientific article

    Statements

    On the automatizability of resolution and related propositional proof systems (English)
    0 references
    0 references
    0 references
    4 October 2004
    0 references
    propositional proof system
    0 references
    weak automatizability
    0 references
    satisfiability problem
    0 references
    resolution
    0 references
    proof complexity
    0 references

    Identifiers