Multithreaded SAT Solving.

Matthew Lewis, Tobias Schubert, Bernd Becker

Browse the full ASPDAC paper archive.