Tobias Schubert Bernd Becker Knowledge Sharing in a Microcontroller based Parallel SAT Solver. 1049-1055 2005 conf/pdpta/2005-3 PDPTA db/conf/pdpta/pdpta2005-3.html#SchubertB05