Dolius: A Distributed Parallel SAT Solving Framework.

Gilles Audemard, Benot Hoessen, Sad Jabbour, Cdric Piette

Browse the full SAT paper archive.