TY  - RPRT
TI  - HordeQBF: A Modular and Massively Parallel QBF Solver
AU  - Tomas Balyo
AU  - Florian Lonsing
PY  - 2016
DO  - 10.1007/978-3-319-40970-2_33
UR  - https://arxiv.org/abs/1604.03793
ID  - 1604.03793
ER  -