Answer set programming; Logic Programming; CUDA; Parallelism

CUD@ASP: Experimenting with GPUs in ASP solving