CUD@ASP: Experimenting with GPGPUs in ASP solving

Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. CUD@ASP: Experimenting with GPGPUs in ASP solving. In Domenico Cantone, Marianna Nicolosi Asmundo, editors, Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. Volume 1068 of CEUR Workshop Proceedings, pages 163-177, CEUR-WS.org, 2013. [doi]

Abstract

Abstract is missing.