Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
A novel spectral coding in a large graph database