Towards a Verified Enumeration of All Tame Plane Graphs.

Tobias Nipkow Gertrud Bauer

Published in: Mathematics, Algorithms, Proofs (2005)

Keyphrases

graph matching
search space
three dimensional
graph theory
graph structure
graph partitioning
graph representation
image segmentation
np complete
weighted graph
graph model
graph databases
graph data
series parallel
grid points
maximal clique enumeration