Habiba Drias, Ameur Douib, Célia Hirèche. Swarm Intelligence with Clustering for Solving SAT. In Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li, Xin Yao, editors, Intelligent Data Engineering and Automated Learning - IDEAL 2013 - 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings. Volume 8206 of Lecture Notes in Computer Science, pages 585-593, Springer, 2013. [doi]
Abstract is missing.