https://hgpu.org/?p=10074
Parallelization of SAT Algorithms on GPUs