Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq.

Christian Doczkal Damien Pous

Published in: CPP (2020)

Keyphrases

graph isomorphism
graph search
subgraph isomorphism
graph mining
graph databases
graph data
regular path queries
search algorithm
query processing
random walk
pattern mining
data mining
graph matching
huge number
memory efficient
conp complete