@inproceedings{GiraldezCruL15,
  author    = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Jordi Levy},
  title     = {A Modularity-Based Random {SAT} Instances Generator},
  booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15)},
  pages     = {1952--1958},
  year      = {2015},
}