Modern Cooperative Parallel SAT Solving.

Norbert Manthey, Davide Lanti, Ahmed Irfan

Browse the full SAT paper archive.