https://hgpu.org/?p=8165
GPU Acceleration of BCP Procedure for SAT Algorithms