Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais. Diversification and Intensification in Parallel SAT Solving. In David Cohen, editor, Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings. Volume 6308 of Lecture Notes in Computer Science, pages 252-265, Springer, 2010. [doi]
Abstract is missing.