@inproceedings{AnsoteguiBGL14,
  author    = {Carlos Ans{\'{o}}tegui and Maria Luisa Bonet and Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Jordi Levy},
  title     = {The Fractal Dimension of {SAT} Formulas},
  booktitle = {Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR'14)},
  pages     = {107--121},
  year      = {2014},
}