OFFSET
1,8
REFERENCES
M. Kirchweger, M. Scheucher, and S. Szeider, SAT-Based Generation of Planar Graphs, in preparation.
LINKS
Eric Weisstein's World of Mathematics, Planar Graph.
CROSSREFS
KEYWORD
nonn,nice,hard,more
AUTHOR
EXTENSIONS
a(16) from Manfred Scheucher, Mar 10 2023
STATUS
approved