External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Daniel Singer

This author has not been identified. Look up 'Daniel Singer' in Google

Alain Vagner

This author has not been identified. Look up 'Alain Vagner' in Google
runs on