OFFSET
12,5
COMMENTS
The icosahedral graph is the smallest 5-connected planar graph.
REFERENCES
M. Kirchweger, M. Scheucher, and S. Szeider, SAT-Based Generation of Planar Graphs, in preparation.
LINKS
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Manfred Scheucher, Mar 16 2023
STATUS
approved