OFFSET
1,16
REFERENCES
M. Kirchweger, M. Scheucher, and S. Szeider, SAT-Based Generation of Planar Graphs, in preparation.
LINKS
CombOS - Combinatorial Object Server, generate planar graphs
Eric Weisstein's World of Mathematics, Planar Graph.
CROSSREFS
KEYWORD
nonn,nice,hard
AUTHOR
EXTENSIONS
a(26) from Manfred Scheucher, Mar 21 2023
STATUS
approved