CUD@ASP: Experimenting with GPUs in ASP solving

Related