Fractal Parallelism: Solving SAT in Bounded Space and Time.

Denys Duchier Jérôme Durand-Lose Maxime Senot

Published in: ISAAC (1) (2010)

Keyphrases

search space
stochastic local search
search algorithm
parallel processing
sat solvers
image compression
sat encodings
sat solving
satisfiability problem
hilbert curve
lower bound
low dimensional
combinatorial optimization
parallel computation
stochastic local search algorithms
fractal compression