Impact of Community Structure on SAT Solver Performance
An Extensible SAT-solver