TítolThe Fractal Dimension of SAT Formulas
Publication TypeConference Paper
Year of Publication2014
AuthorsAnsótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J
Conference NameProc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14
URLhttp://dx.doi.org/10.1007/978-3-319-08587-6_8
DOI10.1007/978-3-319-08587-6_8