Till Berger, David Sabel. Parallelizing DPLL in Haskell. In Stefan Wagner, Horst Lichter, editors, Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen. Volume 215 of LNI, pages 27-42, GI, 2013.
@inproceedings{BergerS13, title = {Parallelizing DPLL in Haskell}, author = {Till Berger and David Sabel}, year = {2013}, researchr = {https://researchr.org/publication/BergerS13}, cites = {0}, citedby = {0}, pages = {27-42}, booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen}, editor = {Stefan Wagner and Horst Lichter}, volume = {215}, series = {LNI}, publisher = {GI}, isbn = {978-3-88579-609-1}, }