%0 Conference Paper %1 conf/sat/ValladeFBSGK20 %A Vallade, Vincent %A Frioux, Ludovic Le %A Baarir, Souheib %A Sopena, Julien %A Ganesh, Vijay %A Kordon, Fabrice %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 11-27 %T Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#ValladeFBSGK20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/ValladeFBSGK20, added-at = {2024-06-27T00:00:00.000+0200}, author = {Vallade, Vincent and Frioux, Ludovic Le and Baarir, Souheib and Sopena, Julien and Ganesh, Vijay and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2e36b481cdb5938f5518dd299e8d9e82f/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_2}, interhash = {15ab414a8fe00dd6a9d249a8fc16b2cb}, intrahash = {e36b481cdb5938f5518dd299e8d9e82f}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {11-27}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-01T07:15:55.000+0200}, title = {Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#ValladeFBSGK20}, volume = 12178, year = 2020 }