The Fractal Dimension of SAT Formulas.
Carlos AnsóteguiMaria Luisa BonetJesús Giráldez-CruJordi LevyPublished in: IJCAR (2014)
Keyphrases
- fractal dimension
- propositional formulas
- fractal analysis
- texture analysis
- quantifier free
- sat solvers
- box counting
- boolean formula
- satisfiability problem
- cnf formula
- gabor wavelets
- sat problem
- propositional satisfiability
- propositional logic
- boolean satisfiability
- first order logic
- search algorithm
- fractal dimensions
- multi fractal
- conjunctive normal form
- fractional brownian motion
- max sat
- phase transition
- random sat
- rewrite systems
- stochastic local search
- quantifier elimination
- multiscale
- fractal geometry
- orders of magnitude
- search strategies
- sat instances
- np complete
- image analysis
- search space
- texture features
- pattern recognition
- truth assignment