Revisiting Clause Exchange in Parallel SAT Solving. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Jean-Marie Lagniez; Cédric Piette (SAT, 2012)

An Effective Distributed D&C Approach for the Satisfiability Problem. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Cédric Piette (PDP, 2014)

Dolius: A Distributed Parallel SAT Solving Framework. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Cédric Piette (POS@SAT, 2014)