On the Complexity of Canonical Labeling of Strongly Regular Graphs | Synapse