CUD@ASP: Experimenting with GPUs in ASP solving

F Vella, A DAL PALU', Agostino Dovier, A Formisano, E. Pontelli
2013-01-01
PDF Cite
Type
Conference paper
Publication
28th Italian Conference on Computational Logic, CILC 2013
Answer set programming; Logic Programming; CUDA; Parallelism

Related