Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette. An Effective Distributed D&C Approach for the Satisfiability Problem.
22nd International Conference on Parallel, Distributed and Network-Based Computing (PDP'14), 2014, Turin, Italy. pp.183-187.
⟨hal-03299481⟩