Ciragan Caddesi Besiktas
ISTANBUL, Manisa 34353

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

Added by mBLAST on November 8, 2010

Interested 1