Impact of Community Structure on SAT Solver Performance
A lightweight component caching scheme for satisfiability solvers