Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.

Vincent Vallade, Julien Sopena, Souheib Baarir

Browse the full SAT paper archive.