Submitter: Florian Lonsing
Description: Devised by T. Balyo and F. Lonsing, is an MPI-based parallel portfolio solver with clause and cube sharing. It is based on the framework of HordeSAT, a modular and massively parallel SAT solver. The authors integrated depqbf 5.0 in HordeSAT to obtain HordeQBF.
Details are available in
Balyo, T., Lonsing, F.: HordeQBF: A Modular and Massively Parallel QBF Solver. In: International Conference on Theory and Applications of Satisfiability Testing, Springer (2016) 531538