Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon

Browse the full SAT paper archive.