In this talk we explore the main techniques and approaches presented in the literature and aimed at enabling the use of parallelism in Answer Set Programming solvers. This survey explores the approaches along two dimensions: (1) one dimension is the underlying language, ranging from Datalog to full ASP; (2) the second dimension is the granularity of parallelism, from fine-grained GPU-based parallelism to very large grained parallelism on distributed platforms.
Parallel Answer Set Programming
Formisano Andrea
;Agostino Dovier;
2017-01-01
Abstract
In this talk we explore the main techniques and approaches presented in the literature and aimed at enabling the use of parallelism in Answer Set Programming solvers. This survey explores the approaches along two dimensions: (1) one dimension is the underlying language, ranging from Datalog to full ASP; (2) the second dimension is the granularity of parallelism, from fine-grained GPU-based parallelism to very large grained parallelism on distributed platforms.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.