https://hgpu.org/?p=26116
A Variant of Concurrent Constraint Programming on GPU