PaInleSS: A Framework for Parallel SAT Solving.

Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Browse the full SAT paper archive.