Reproducible Efficient Parallel SAT Solving.

Hidetomo Nabeshima, Katsumi Inoue

Browse the full SAT paper archive.