Tobias Schubert Matthew D. T. Lewis Bernd Becker PaMira - A Parallel SAT Solver with Knowledge Sharing. 29-36 2005 conf/mtv/2005 MTV http://doi.ieeecomputersociety.org/10.1109/MTV.2005.17 db/conf/mtv/mtv2005.html#SchubertLB05