Daniel Singer, Alain Vagner. Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI. In Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers. Volume 3911 of Lecture Notes in Computer Science, pages 380-388, Springer, 2005. [doi]
Abstract is missing.