PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing

  title={PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing},
  author={Matthew D. T. Lewis and Paolo Marin and Tobias Schubert and Massimo Narizzano and Bernd Becker and Enrico Giunchiglia},
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 and faster than previous generation solvers. PaQuBE extends QuBE, its sequential core, by providing a Master/Slave Message Passing Interface (MPI) based design that allows it to split the problem up over an arbitrary number of… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS