The fractal dimension of SAT formulas
Visualitza/Obre
fractal.pdf (550,5Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
10.1007/978-3-319-08587-6_8
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/27750
Tipus de documentText en actes de congrés
Data publicació2014
EditorSpringer
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is believed that these techniques exploit the underlying structure of industrial instances. However, there is not a precise definition of the notion of structure. Recently, there have been some attempts to analyze this structure in terms of complex networks, with the long-term aim of explaining the success of SAT solving techniques, and possibly improving them. We study the fractal dimension of SAT instances with the aim of complementing the model that describes the structure of industrial instances. We show that many industrial families of formulas are self-similar, with a small fractal dimension. We also show how this dimension is affected by the addition of learnt clauses during the execution of SAT solvers.
CitacióAnsótegui, C. [et al.]. The fractal dimension of SAT formulas. A: International Joint Conference on Automated Reasoning. "Automated Reasoning: 7th International Joint Conference, IJCAR 2014: Held as Part of the Vienna Summer of Logic, VSL 2014: Vienna, Austria, July 19-22, 2014: proceedings". Viena: Springer, 2014, p. 107-121.
ISBN978-3-319-08586-9
Versió de l'editorhttp://link.springer.com/chapter/10.1007%2F978-3-319-08587-6_8
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
fractal.pdf | 550,5Kb | Accés restringit |