Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Software Engineering 2013 - Workshopband P-215, 27-42 (2013).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Parallelizing DPLL in Haskell

Till Berger and David Sabel


We report on a case study of implementing parallel variants of the Davis- Putnam-Logemann-Loveland algorithm for solving the SAT problem of propositional formulas in the functional programming language Haskell. We explore several state of the art programming techniques for parallel and concurrent programming in Haskell and provide the corresponding implementations. Based on our experimental results, we compare several approaches and implementations.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-609-1

Last changed 04.10.2013 18:38:59