%0 Conference Paper %1 conf/cluster/BurchardSB16 %A Burchard, Jan %A Schubert, Tobias %A Becker, Bernd %B CLUSTER %D 2016 %I IEEE Computer Society %K %P 326-335 %T Distributed Parallel #SAT Solving. %U http://dblp.uni-trier.de/db/conf/cluster/cluster2016.html#BurchardSB16 %@ 978-1-5090-3653-0

@inproceedings{conf/cluster/BurchardSB16, added-at = {2023-12-13T02:13:42.000+0100}, author = {Burchard, Jan and Schubert, Tobias and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2e836335384fdc65c6fd504e4478e886a/admin}, booktitle = {CLUSTER}, crossref = {conf/cluster/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/CLUSTER.2016.20}, interhash = {7c81569c262823e932ff10032f1b9b4d}, intrahash = {e836335384fdc65c6fd504e4478e886a}, isbn = {978-1-5090-3653-0}, keywords = {}, pages = {326-335}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T02:13:42.000+0100}, title = {Distributed Parallel #SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/cluster/cluster2016.html#BurchardSB16}, year = 2016 }