GPU-based parallelism for ASP-solving

Open in new window