The complete set of minimal simple graphs that support unsatisfiable 2-CNFs (Q2192070)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The complete set of minimal simple graphs that support unsatisfiable 2-CNFs |
scientific article |
Statements
The complete set of minimal simple graphs that support unsatisfiable 2-CNFs (English)
0 references
29 June 2020
0 references
Boolean satisfiability
0 references
conjunctive normal form
0 references
propositional logic
0 references
graph minors
0 references
topological minors
0 references
edge contraction
0 references
subdivision
0 references
0 references
