@conference {55870, title = {Using Community Structure to Detect Relevant Learnt Clauses}, booktitle = {Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT{\textquoteright}15}, year = {2015}, doi = {10.1007/978-3-319-24318-4_18}, url = {http://dx.doi.org/10.1007/978-3-319-24318-4_18}, author = {Carlos Ans{\'o}tegui and Jes{\'u}s Gir{\'a}ldez-Cru and Jordi Levy and Laurent Simon} }