Planar 3-SAT with a clause/variable cycle (Q5116495)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Planar 3-SAT with a clause/variable cycle |
scientific article; zbMATH DE number 7238986
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.8275862
0 references
0.81261754
0 references
0.80929136
0 references
