The community structure of sat formulas, SAT, 2012. ,
On the modularity of industrial sat instances, CCIA, 2011. ,
Survey propagation: An algorithm for satisfiability, Random Structures & Algorithms, vol.27, pp.201-226, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00008893
A machine program for theoremproving, Communication of ACM, vol.5, issue.7, pp.394-397, 1962. ,
Google's PageRank and Beyond: The Science of Search Engine Rankings, 2006. ,
Community detection in networks: The leader-follower algorithm, 2010. ,
Grasp -a new search algorithm for satisfiability, ICCAD, pp.220-227, 1996. ,
Search in a small world, IJCAI '99: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp.1172-1177, 1999. ,
Efficient conflict driven learning in a boolean satisfiability solver, Proceedings of IEEE/ACM International Conference on Computer Design (ICCAD), pp.279-285, 2001. ,