Vincent Vallade, Julien Sopena, Souheib Baarir. Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. In Matti Järvisalo, Daniel Le Berre, editors, Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. Volume 3545 of CEUR Workshop Proceedings, pages 35-45, CEUR-WS.org, 2023. [doi]
Abstract is missing.