@inproceedings{GiraldezCruL17,
  author    = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Jordi Levy},
  title     = {Locality in Random {SAT} Instances},
  booktitle = {Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17)},
  pages     = {638--644},
  year      = {2017},
}