Planar 3-SAT with a clause/variable cycle (Q5116495)
From MaRDI portal
scientific article; zbMATH DE number 7238986
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Planar 3-SAT with a clause/variable cycle |
scientific article; zbMATH DE number 7238986 |
Statements
25 August 2020
0 references
3-SAT
0 references
1-in-3-SAT
0 references
planar graph
0 references
Planar 3-SAT with a clause/variable cycle (English)
0 references
