%0 Journal Article %1 journals/jsat/SchubertLB09 %A Schubert, Tobias %A Lewis, Matthew D. T. %A Becker, Bernd %D 2009 %J JSAT %K dblp %N 4 %P 203-222 %T PaMiraXT: Parallel SAT Solving with Threads and Message Passing. %U http://dblp.uni-trier.de/db/journals/jsat/jsat6.html#SchubertLB09 %V 6

@article{journals/jsat/SchubertLB09, added-at = {2011-01-08T00:00:00.000+0100}, author = {Schubert, Tobias and Lewis, Matthew D. T. and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23c7c18523e87279673f53aae2e980302/dblp}, ee = {http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_10_Schubert.pdf}, interhash = {0f87e7cdf9686ec004c77ac11877b397}, intrahash = {3c7c18523e87279673f53aae2e980302}, journal = {JSAT}, keywords = {dblp}, number = 4, pages = {203-222}, timestamp = {2016-02-02T04:52:34.000+0100}, title = {PaMiraXT: Parallel SAT Solving with Threads and Message Passing.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat6.html#SchubertLB09}, volume = 6, year = 2009 }