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]
@inproceedings{VellaPDFP13,
title = {CUD@ASP: Experimenting with GPGPUs in ASP solving},
author = {Flavio Vella and Alessandro Dal Palù and Agostino Dovier and Andrea Formisano and Enrico Pontelli},
year = {2013},
url = {http://ceur-ws.org/Vol-1068/paper-l11.pdf},
researchr = {https://researchr.org/publication/VellaPDFP13},
cites = {0},
citedby = {0},
pages = {163-177},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013},
editor = {Domenico Cantone and Marianna Nicolosi Asmundo},
volume = {1068},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}