Why is it useful to develop parallel SAT solvers?

SAT is an NP-complete problem. Parallelism will not change that, but parallelism can offer better performances to solve SAT formulas. Furthermore, today, multi-core architectures are in almost all new computers all around the world. From 2 to 8 cores, it is very easy to access such a computer. Some people think that future computers will contain many kinds of processors. Everyone knows SAT is very important for industrial applications, it has to be solved quickly and designing parallel SAT solvers is a new way to extract power from new hardwares.

Why does this website exist?

The aim of this website is to provide a place where all the people interested in parallel SAT could find solvers, tools and informations. Everybody can help to extend and fill this website, just see the section called "Contacts" in the menu.