ASP computation; ASP solvers; GPUs; SIMT parallelism; Computer Science (all); Theoretical Computer Science

General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of a complex architecture with non-trivial synchronization and communication costs. This paper presents …