Matthew D. T. Lewis Paolo Marin Tobias Schubert Massimo Narizzano Bernd Becker Enrico Giunchiglia PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. 509-523 2009 SAT http://dx.doi.org/10.1007/978-3-642-02777-2_46 conf/sat/2009 db/conf/sat/sat2009.html#LewisMSNBG09