%0 Conference Paper %1 conf/sat/ValladeSB23 %A Vallade, Vincent %A Sopena, Julien %A Baarir, Souheib %B POS@SAT %D 2023 %E Järvisalo, Matti %E Berre, Daniel Le %I CEUR-WS.org %K dblp %P 35-45 %T Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. %U http://dblp.uni-trier.de/db/conf/sat/pos2023.html#ValladeSB23 %V 3545

@inproceedings{conf/sat/ValladeSB23, added-at = {2023-12-20T00:00:00.000+0100}, author = {Vallade, Vincent and Sopena, Julien and Baarir, Souheib}, biburl = {https://www.bibsonomy.org/bibtex/23f68302722c294816b440488cc386691/dblp}, booktitle = {POS@SAT}, crossref = {conf/sat/2023pos}, editor = {Järvisalo, Matti and Berre, Daniel Le}, ee = {https://ceur-ws.org/Vol-3545/paper3.pdf}, interhash = {f36a3593519082e7a9de2cd41ea1b4c3}, intrahash = {3f68302722c294816b440488cc386691}, keywords = {dblp}, pages = {35-45}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T19:21:33.000+0200}, title = {Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.}, url = {http://dblp.uni-trier.de/db/conf/sat/pos2023.html#ValladeSB23}, volume = 3545, year = 2023 }