Graph Isomorphism
Babai survey