Parallelizing DPLL in Haskell. - Till Berger; David Sabel (Software Engineering (Workshops), 2013)