Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms | IEEE Conference Publication | IEEE Xplore