In this paper we present the parallel QBF Solver PaQuBE. This new solver leverages the additional computational power that can be exploited from modern computer architectures, from pervasive multicore boxes to clusters and grids, to solve more relevant instances faster than previous generation solvers. Furthermore, PaQuBE's progressive MPI based parallel framework is the first to support advanced knowledge sharing in which solution cubes as well as conflict clauses can be exchanged between solvers. Knowledge sharing plays a critical role in the performance of PaQuBE. However, due to the overhead associated with sending and receiving MPI messages, and the restricted communication/network bandwidth available between solvers, it is essential to optimize not only what information is shared, but the way in which it is shared. In this context, we compare multiple conflict clause and solution cube sharing strategies, and finally show that an adaptive method provides the best overall results. While many QBF solvers are still based on the DPLL algorithm [14], they have advanced considerably in recent years. For instance, some QBF algorithm specific advances include conflict and solution analysis with non-chronological backtracking [10,18,23,46], and preprocessing [20,40]. Modern QBF solvers must combine all these new ideas into an efficient implementation to be competitive. Furthermore, single processor performance has also played a large role in the ability of modern QBF solvers to handle relevant problems. For many years, clock frequencies and single-core performance increased rapidly. However, current improvements in clock frequency and single core processor performance are slowing. To compensate for this, we have seen the introduction of multi-core and/or multi-threaded processors which have resulted in some of the largest jumps in performance potential in recent times. Companies such as INTEL, AMD, SUN, and IBM, now produce CPUs that contain four or more cores. Future QBF solvers must harness this untapped potential if they wish to provide leading edge performance. These new processors, the introduction of cheap clusters in labs, and the availability of parallel programming support in software are the main motivation for the development of PaQuBE.In the domain of parallel solvers, most research has focused on two topics: subproblem generation and knowledge sharing. Here, we discuss both with respect to QBF. Previous research on subproblem generation in parallel QBF was lacking, and modern SAT approaches could not be directly used. With respect to knowledge sharing, using static criteria (which most previous parallel solvers use) for selecting what information should be shared results in many messages being sent, but actually very little good information being shared. This paper highlights this problem, and provides new ideas to improve knowledge sharing within an MPI based system.The paper is structured as follows: the next section will start with a description of the QBF problem (Section 2), and how sequential and p...