ASP computation; ASP solvers; GPU computing; SIMT parallelism; Computer Science (all)

This paper illustrates the design and implementation of a conflict-driven ASP solver that is capable of exploiting the Single-Instruction Multiple-Thread parallelism offered by General Purpose Graphical Processing Units (GPUs). Modern GPUs are …