On Graph Query Optimization in Large Networks
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism