The Fractal Dimension of SAT Formulas.
Carlos AnsóteguiMaria Luisa BonetJesús Giráldez-CruJordi LevyPublished 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