TY  - RPRT
TI  - HordeSat: A Massively Parallel Portfolio SAT Solver
AU  - Tomas Balyo
AU  - Peter Sanders
AU  - Carsten Sinz
PY  - 2015
UR  - https://arxiv.org/abs/1505.03340
ID  - 1505.03340
ER  -