Now showing items 1-1 of 1

    • CUD@ASP: Experimenting with GPUs in ASP solving 

      Vella F; Dal Palù A; Dovier A; Formisano A; Pontelli E (CEUR-WS, 2013)
      This paper illustrates the design and implementation of a prototype ASP solver that is capable of exploiting the parallelism offered by general purpose graphical processing units (GPGPUs). The solver is based on a basic ...