%0 Conference Paper %1 conf/ieeehpcs/MeyerSSW10 %A Meyer, Quirin %A Schönfeld, Fabian %A Stamminger, Marc %A Wanka, Rolf %B HPCS %D 2010 %E Smari, Waleed W. %E McIntire, John P. %I IEEE %K dblp %P 306-313 %T 3-SAT on CUDA: Towards a massively parallel SAT solver. %U http://dblp.uni-trier.de/db/conf/ieeehpcs/ieeehpcs2010.html#MeyerSSW10 %@ 978-1-4244-6828-7

@inproceedings{conf/ieeehpcs/MeyerSSW10, added-at = {2014-12-16T00:00:00.000+0100}, author = {Meyer, Quirin and Schönfeld, Fabian and Stamminger, Marc and Wanka, Rolf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2210c0ce3e7f788e4ab2f74eb08b74259/dblp}, booktitle = {HPCS}, crossref = {conf/ieeehpcs/2010}, editor = {Smari, Waleed W. and McIntire, John P.}, ee = {http://dx.doi.org/10.1109/HPCS.2010.5547116}, interhash = {0f426e2ba493acc53a6b0ba3ae7df5b7}, intrahash = {210c0ce3e7f788e4ab2f74eb08b74259}, isbn = {978-1-4244-6828-7}, keywords = {dblp}, pages = {306-313}, publisher = {IEEE}, timestamp = {2016-02-02T15:04:46.000+0100}, title = {3-SAT on CUDA: Towards a massively parallel SAT solver.}, url = {http://dblp.uni-trier.de/db/conf/ieeehpcs/ieeehpcs2010.html#MeyerSSW10}, year = 2010 }