@inproceedings{AnsoteguiGLS15,
  author    = {Carlos Ans{\'{o}}tegui and Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Jordi Levy and Laurent Simon},
  title     = {Using Community Structure to Detect Relevant Learnt Clauses},
  booktitle = {Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT'15)},
  pages     = {238--254},
  year      = {2015},
}