TY  - RPRT
TI  - An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism
AU  - Daniel Neuen
AU  - Pascal Schweitzer
PY  - 2017
UR  - https://arxiv.org/abs/1705.03283
ID  - 1705.03283
ER  -