%0 Conference Paper %1 conf/nfm/ValladeFBSK20 %A Vallade, Vincent %A Frioux, Ludovic Le %A Baarir, Souheib %A Sopena, Julien %A Kordon, Fabrice %B NFM %D 2020 %E Lee, Ritchie %E Jha, Susmit %E Mavridou, Anastasia %I Springer %K dblp %P 222-229 %T On the Usefulness of Clause Strengthening in Parallel SAT Solving. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#ValladeFBSK20 %V 12229 %@ 978-3-030-55754-6

@inproceedings{conf/nfm/ValladeFBSK20, added-at = {2020-08-10T00:00:00.000+0200}, author = {Vallade, Vincent and Frioux, Ludovic Le and Baarir, Souheib and Sopena, Julien and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2595f905e3d88f1927fbaccebc6dd4279/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2020}, editor = {Lee, Ritchie and Jha, Susmit and Mavridou, Anastasia}, ee = {https://doi.org/10.1007/978-3-030-55754-6_13}, interhash = {5da232a3738be0239e6bd2429df1a328}, intrahash = {595f905e3d88f1927fbaccebc6dd4279}, isbn = {978-3-030-55754-6}, keywords = {dblp}, pages = {222-229}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-11T11:43:40.000+0200}, title = {On the Usefulness of Clause Strengthening in Parallel SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#ValladeFBSK20}, volume = 12229, year = 2020 }