Fractal Parallelism: Solving SAT in Bounded Space and Time.

Denys Duchier, Jrme Durand-Lose, Maxime Senot

Browse the full ISAAC paper archive.