Control-Based Clause Sharing in Parallel SAT Solving.

Youssef Hamadi Saïd Jabbour Lakhdar Sais Control-Based Clause Sharing in Parallel SAT Solving. 499-504 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-090.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#HamadiJS09