In this paper we present a new technique to solve Quantified Boolean Formulas (QBF). Our technique applies the idea of dynamic
partitioning to QBF solvers. Dynamic partitioning has previously been utilized in #SAT solvers that count the number of models
of a propositional formula. One of the main differences with the #SAT case comes from the solution learning techniques employed
in search based QBF solvers. Extending solution learning to a partitioning solver involves some considerable complexities
which we show how to resolve. We have implemented our ideas in a new QBF solver, and demonstrate that dynamic partitioning
is able to increase the performance of search based solvers, sometimes significantly. Empirically our new solver offers performance
that is superior to other search based solvers and in many cases superior to non-search based solvers.