GPU-based parallelism for ASP-solving