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
13 November 2007
0 references