From SAT to efficient Parallel SAT Solving
Youssef Hamadi ( Microsoft Research )
- 16:30 17th February 2009 ( week 5, Hilary Term 2009 )Lecture Theatre B
This talk presents the practical and theoretical importance of the propositional satisfiability problem. It details the common architecture used by modern sequential solvers, and discusses several solutions to effectively parallelize this architecture. Finally, it details the ManySAT solver, winners of the parallel track of the 2008 SAT-Race.