Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism.

Published in: ITP (2011)

Keyphrases

graph theory
real time
cost effective
search space
lightweight
graph isomorphism
three dimensional
computationally expensive
subgraph isomorphism
database
case study
search algorithm
graph mining