Backtrack search algorithms and the maximal common subgraph problem | Synapse