The Fractal Dimension of SAT Formulas.

Carlos Ansótegui Maria Luisa Bonet Jesús Giráldez-Cru Jordi Levy

Published in: CoRR (2013)

Keyphrases

fractal dimension
quantifier free
propositional formulas
fractal analysis
texture analysis
sat solvers
box counting
cnf formula
satisfiability problem

first order logic
boolean formula
gabor wavelets
sat problem
conjunctive normal form
quantifier elimination
propositional satisfiability
fractal dimensions
gray level images

rewrite systems
boolean satisfiability
max sat
random sat
propositional logic
phase transition
np complete
fractal geometry
multi fractal

stochastic local search
truth assignment
fractional brownian motion
machine learning
sat instances
gray level
search algorithm
support vector