GPU-Based Parallelism for ASP-Solving

Agostino Dovier, Andrea Formisano, Flavio Vella. GPU-Based Parallelism for ASP-Solving. In Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel, editors, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Volume 12057 of Lecture Notes in Computer Science, pages 3-23, Springer, 2019. [doi]

Authors

Agostino Dovier

This author has not been identified. It may be one of the following persons: Look up 'Agostino Dovier' in Google

Andrea Formisano

This author has not been identified. Look up 'Andrea Formisano' in Google

Flavio Vella

This author has not been identified. Look up 'Flavio Vella' in Google