Special Workshop on Parallel/Portfolio Satisfiability Solving July 3, 2011

This workshop will focus on SAT and beyond SAT solving techniques exploiting parallelism or portfolio approaches within multi-threaded, distributed and grid architectures but also emerging massively parallel architectures such as Global Processing Units and Field-Programmable Gate Arrays.

Official Website: http://hpcs11.cisedu.info/conference/workshops/workshop-06---wpss