Using Community Structure to Detect Relevant Learnt Clauses.

Carlos Anstegui, Jess Girldez-Cru, Jordi Levy, Laurent Simon

Browse the full SAT paper archive.