Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


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

Gesellschaft für Informatik, Bonn
2013


Copyright © Gesellschaft für Informatik, Bonn

Contents

Parallelizing DPLL in Haskell

Till Berger and David Sabel

Abstract


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