https://hgpu.org/?p=10595
CUD@ASP: Experimenting with GPUs in ASP solving