Michelle Cope;Ian P. Gent;Kevin Hammond
-;-;-
Parallel resolution of the satisfiability problem (SAT) with OpenMP and MPI
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics