GpuShareSat: a SAT solver using the GPU for clause sharing. - Nicolas Prevot (CoRR, 2020)

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. - Nicolas Prevot; Mate Soos; Kuldeep S. Meel (SAT, 2021)