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

@inproceedings{Singer2007JaCkSATAN,
  title={JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check},
  author={Daniel Singer and Anthony Monnet},
  booktitle={PPAM},
  year={2007}
}

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.