Multi-Query Optimization for Subgraph Isomorphism Search
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism