SAT-based generation of panar graphs (Q6643090)
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: SAT-based generation of panar graphs |
scientific article; zbMATH DE number 7949187
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SAT-based generation of panar graphs |
scientific article; zbMATH DE number 7949187 |
Statements
SAT-based generation of panar graphs (English)
0 references
26 November 2024
0 references
SAT modulo symmetry (SMS)
0 references
dynamic symmetry breaking
0 references
planarity test
0 references
universal point set
0 references
order dimension
0 references
Schnyder's theorem
0 references
Kuratowski's theorem
0 references
Turán's theorem
0 references
Earth-Moon problem
0 references
