Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI.

Daniel Singer, Alain Vagner

Browse the full PPAM paper archive.