Lazy Clause Exchange Policy for Parallel SAT Solvers.

Gilles Audemard, Laurent Simon

Browse the full SAT paper archive.