Seven Challenges in Parallel SAT Solving.

Youssef Hamadi, Christoph M. Wintersteiger

Browse the full AAAI paper archive.