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.