A comparison of refinement techniques for the backtracking algorithms for the subgraph isomorphism problem | IEEE Conference Publication | IEEE Xplore