https://hgpu.org/?p=6136
A Preliminary Review of Literature on Parallel Constraint Solving