@misc{indiciaed8d5ee0f244a,
  title = {The Fractal Dimension of SAT Formulas},
  author = {C. Ansótegui and M. L. Bonet and J. Giráldez-Cru and J. Levy},
  year = {2013},
  doi = {10.1007/978-3-319-08587-6\_8},
  url = {https://arxiv.org/abs/1308.5046},
  note = {Source identifier: 1308.5046}
}