Fractal Parallelism Solving SAT in Bounded Space and Time

Fractal Parallelism Solving SAT in Bounded Space and Time Fractal Parallelism Solving SAT in Bounded Space and Time Denys Duchier 1 , Jérôme Durand-Lose 2 , Maxime Senot 2 1 Team Constraint & Machine Learning 2 Team Graphs, Algorithms & Models of Computation ISAAC '10 21 st International Symposium on Algorithm And Computation December 15 th 2010 Jeju Island

• signal machines


• solving sat


• machine learning


• team graphs


• fractal parallelism


• jeju island


• international symposium