@misc{indiciae57edc46f9a23,
  title = {Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms},
  author = {Markus Anders and Pascal Schweitzer},
  year = {2020},
  url = {https://arxiv.org/abs/2011.01726},
  note = {Source identifier: 2011.01726}
}