Impact of Community Structure on SAT Solver Performance
Finding community structure in very large networks