Daniel Singer, Anthony Monnet: JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check. PPAM 2007: 249-258