The Fractal Dimension of SAT Formulas
From MaRDI portal
Publication:3192184
DOI10.1007/978-3-319-08587-6_8zbMath1423.68429arXiv1308.5046OpenAlexW3104641269WikidataQ60512053 ScholiaQ60512053MaRDI QIDQ3192184
Jordi Levy, Jesús Giráldez-Cru, Maria Luisa Bonet, Carlos Ansótegui
Publication date: 26 September 2014
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1308.5046
Graph theory (including graph drawing) in computer science (68R10) Fractals (28A80) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (9)
Community Structure Inspired Algorithms for SAT and #SAT ⋮ Evaluating CDCL Variable Scoring Schemes ⋮ Generating SAT instances with community structure ⋮ New width parameters for SAT and \#SAT ⋮ Popularity-similarity random SAT formulas ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Solving non-uniform planted and filtered random SAT formulas greedily ⋮ On the hierarchical community structure of practical Boolean formulas
This page was built for publication: The Fractal Dimension of SAT Formulas