A Dynamic Moldable Job Scheduling Based Parallel SAT Solver.

Sajjad Asghar, Eric Aubanel, David Bremner

Browse the full ICPP paper archive.