@misc{indiciaecedc2f6db3af,
  title = {Graph Profiling for Vertex Cover: Targeted Reductions in a Branch and Reduce Solver},
  author = {Matthias F. Stallmann and Yang Ho and Timothy D. Goodrich},
  year = {2020},
  url = {https://arxiv.org/abs/2003.06639},
  note = {Source identifier: 2003.06639}
}