Impact of Community Structure on SAT Solver Performance
Hard and Easy Distributions of SAT Problems