A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable (Q3440269)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable |
scientific article |
Statements
A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable (English)
0 references
22 May 2007
0 references
unsatisfiable CNF formulas
0 references
NP-completeness
0 references
occurrence of variables
0 references
