@misc{indiciae13996b317911,
  title = {Proteus: A Hierarchical Portfolio of Solvers and Transformations},
  author = {Barry Hurley and Lars Kotthoff and Yuri Malitsky and Barry O'Sullivan},
  year = {2014},
  url = {https://arxiv.org/abs/1306.5606},
  note = {Source identifier: 1306.5606}
}