@inproceedings{AnsoteguiGL12,
  author    = {Carlos Ans{\'{o}}tegui and
               Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
               Jordi Levy},
  title     = {The Community Structure of {SAT} Formulas},
  booktitle = {Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12)},
  pages     = {410--423},
  year      = {2012},
}