No label defined (Q4263797)

From MaRDI portal
scientific article; zbMATH DE number 1342212
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1342212

    Statements

    22 September 1999
    0 references
    length of proofs
    0 references
    conjunctive normal form
    0 references
    upper bounds for minimal resolution refutations of propositional formulas
    0 references
    minimal unsatisfiable formulas
    0 references

    Identifiers