In recent years a major shift in hardware architectures towards multi-core and many-core systems has taken place. In this session we want to discuss recent developments and future options for exploiting these architectures to efficiently solve decision problems. We will be starting off with a talk outlining the state of the art in parallelized SAT-solving and SMT-solving. Topics of the subsequent discussion may range from personal experience reports to elaborate exploration of technical challenges. We are especially interested in the exploration of shared memory CPU and GPU multi-processor systems.

Download this file (D-CON2010.pdf)D-CON2010.pdf[ ]575 Kb