@inproceedings{BaudBerthierGS17,
  author    = {Guillaume Baud{-}Berthier and Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Laurent Simon},
  title     = {On the Community Structure of Bounded Model Checking {SAT} Problems},
  booktitle = {Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)},
  pages     = {65--82},
  year      = {2017},
}