Sciweavers

ISAAC
2010
Springer

Fractal Parallelism: Solving SAT in Bounded Space and Time

13 years 9 months ago
Fractal Parallelism: Solving SAT in Bounded Space and Time
Denys Duchier, Jérôme Durand-Lose, Ma
Added 13 Feb 2011
Updated 13 Feb 2011
Type Journal
Year 2010
Where ISAAC
Authors Denys Duchier, Jérôme Durand-Lose, Maxime Senot
Comments (0)