@inproceedings{4b164b1f23d64c719a13fabbf207105a,
title = "Recursive generation of 5-regular",
abstract = "We describe for the first time how the 5-regular simple planar graphs can all be obtained from an elementary family of starting graphs by repeatedly applying a few local expansion operations. The proof uses an innovative amalgam of theory and computation. By incorporating the recursion into the canonical construction path method of isomorph rejection, a generator of non-isomorphic embedded 5-regular planar graphs is obtained with time complexity O(n 2) per isomorphism class.",
keywords = "5-regular, 5-valent, Graph, Map, Pentangulation, Planar, Quintic",
author = "Mahdieh Hasheminezhad and McKay, {Brendan D.} and Tristan Reeves",
year = "2009",
doi = "10.1007/978-3-642-00202-1_12",
language = "English",
isbn = "3642002013",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "129--140",
booktitle = "WALCOM",
note = "3rd International Workshop on Algorithms and Computation, WALCOM 2009 ; Conference date: 18-02-2009 Through 20-02-2009",
}