An Effective Distributed D&C Approach for the Satisfiability Problem.

Gilles Audemard, Benot Hoessen, Sad Jabbour, Cdric Piette

Browse the full PDP paper archive.