Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: HordeQBF: A Modular and Massively Parallel QBF Solver   The recently developed massively parallel satisfiability (SAT) solver
HordeSAT was designed in a modular way to allow the integration of any
sequential CDCL-based SAT solver in its core. We integrated the QCDCL-based
quantified Boolean formula (QBF) solver DepQBF in HordeSAT to obtain a
massively parallel QBF solver---HordeQBF. In this paper we describe the details
of this integration and report on results of the experimental evaluation of
HordeQBF's performance. HordeQBF achieves superlinear average and median
speedup on the hard application instances of the 2014 QBF Gallery.

22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math