JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check.

Daniel Singer, Anthony Monnet

Browse the full PPAM paper archive.