D-CON, 04-05 March 2010, Bamberg

Parallelisation of Decision Procedures
(Alexander Ditter, Jan Tobias Muehlberg)

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, starting off with a talk outlining
the state of the art in parallelised 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.  We are open for suggestions and contributions from D-CON
participants.