Don't have Telegram yet? Try it now!
https://hgpu.org/?p=3613
3-SAT on CUDA: Towards a massively parallel SAT solver