%0 Conference Paper %1 conf/ictai/EhlersNS14 %A Ehlers, Thorsten %A Nowotka, Dirk %A Sieweck, Philipp %B ICTAI %D 2014 %I IEEE Computer Society %K %P 709-716 %T Communication in Massively-Parallel SAT Solving. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2014.html#EhlersNS14 %@ 978-1-4799-6572-4

@inproceedings{conf/ictai/EhlersNS14, added-at = {2023-12-13T00:57:32.000+0100}, author = {Ehlers, Thorsten and Nowotka, Dirk and Sieweck, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/273e2d8b42faab69ac789ac8d6dd8e556/admin}, booktitle = {ICTAI}, crossref = {conf/ictai/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.111}, interhash = {6ad1f88790fedca891e3aba5e9dc5452}, intrahash = {73e2d8b42faab69ac789ac8d6dd8e556}, isbn = {978-1-4799-6572-4}, keywords = {}, pages = {709-716}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:57:32.000+0100}, title = {Communication in Massively-Parallel SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2014.html#EhlersNS14}, year = 2014 }