Relating planar graph drawings to planar satisfiability problems (Q6121427)
From MaRDI portal
scientific article; zbMATH DE number 7824706
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relating planar graph drawings to planar satisfiability problems |
scientific article; zbMATH DE number 7824706 |
Statements
Relating planar graph drawings to planar satisfiability problems (English)
0 references
26 March 2024
0 references
SAT problems
0 references
planar graph
0 references
graph drawing
0 references
algorithms
0 references
