The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3 (Q5425474)

From MaRDI portal
scientific article; zbMATH DE number 5211407
Language Label Description Also known as
English
The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3
scientific article; zbMATH DE number 5211407

    Statements

    The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3 (English)
    0 references
    0 references
    0 references
    13 November 2007
    0 references

    Identifiers