TY  - RPRT
TI  - Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms
AU  - Markus Anders
AU  - Pascal Schweitzer
PY  - 2020
UR  - https://arxiv.org/abs/2011.01726
ID  - 2011.01726
ER  -