BFS Enumeration for Breaking Symmetries in Graphs. - Vyacheslav Moklev; Vladimir Ulyantsev (CoRR, 2018)