Is there parallel algorithm for 3SAT Is there any parallel algorithms or approximation algorithms for 3SAT?
Take a look at this question for some pointers to SAT solvers. Specially, there's a link to SAT Competition, in which you can find parallel SAT solvers (like ManySAT or gNovelty2+).