%0 Conference Paper %1 conf/sat/HeisingerFB20 %A Heisinger, Maximilian %A Fleury, Mathias %A Biere, Armin %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 114-122 %T Distributed Cube and Conquer with Paracooba. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#HeisingerFB20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/HeisingerFB20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Heisinger, Maximilian and Fleury, Mathias and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/2e0232bbcfd83e481084b9bf9643f8d52/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_9}, interhash = {c1c155d64adb6c2193e84dc141aeb74d}, intrahash = {e0232bbcfd83e481084b9bf9643f8d52}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {114-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:02:59.000+0200}, title = {Distributed Cube and Conquer with Paracooba.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#HeisingerFB20}, volume = 12178, year = 2020 }