Knowledge Sharing in a Microcontroller based Parallel SAT Solver.

Tobias Schubert, Bernd Becker

Browse the full PDPTA paper archive.