An Efficient Pruning Process with Locality Aware Exploration and Dynamic Graph Editing for Subgraph Matching.