OFFSET
1,5
COMMENTS
M. Kirchweger, M. Scheucher, and S. Szeider, SAT-Based Generation of Planar Graphs, in preparation.
CROSSREFS
KEYWORD
nonn,nice,more,hard
AUTHOR
EXTENSIONS
a(12) from Sean A. Irvine, Jul 30 2021
a(13)-a(14) from Manfred Scheucher, Mar 11 2023
STATUS
approved