@misc{indiciaeac1a7789430f,
  title = {HordeSat: A Massively Parallel Portfolio SAT Solver},
  author = {Tomas Balyo and Peter Sanders and Carsten Sinz},
  year = {2015},
  url = {https://arxiv.org/abs/1505.03340},
  note = {Source identifier: 1505.03340}
}