TY - RPRT TI - The Fractal Dimension of SAT Formulas AU - C. Ansótegui AU - M. L. Bonet AU - J. Giráldez-Cru AU - J. Levy PY - 2013 DO - 10.1007/978-3-319-08587-6_8 UR - https://arxiv.org/abs/1308.5046 ID - 1308.5046 ER -