A Universal Parallel SAT Checking Kernel.

Wolfgang Blochinger, Carsten Sinz, Wolfgang Kchlin

Browse the full PDPTA paper archive.