Revisiting Clause Exchange in Parallel SAT Solving.

Gilles Audemard, Benot Hoessen, Sad Jabbour, Jean-Marie Lagniez, Cdric Piette

Browse the full SAT paper archive.