Newsham, Z., Ganesh, V., Fischmeister, S., Audemard, G., & Simon, L. (2014). Impact of Community Structure on SAT Solver Performance 17th International Conference on Theory and Applications of Satisfiability Testing (SAT), 252-268. Vienna, Austria.