Tobias Schubert, Matthew D. T. Lewis, Bernd Becker. PaMiraXT: Parallel SAT Solving with Threads and Message Passing. JSAT, 6(4):203-222, 2009. [doi]
@article{SchubertLB09,
title = {PaMiraXT: Parallel SAT Solving with Threads and Message Passing},
author = {Tobias Schubert and Matthew D. T. Lewis and Bernd Becker},
year = {2009},
url = {http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_10_Schubert.pdf},
researchr = {https://researchr.org/publication/SchubertLB09},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {6},
number = {4},
pages = {203-222},
}