The Fractal Dimension of SAT Formulas

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

Mathematics Subject Classification ID

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