GPU-Based Parallelism for ASP-Solving.

Agostino Dovier Andrea Formisano Flavio Vella

Published in: DECLARE (2019)

Keyphrases

parallel computation
parallel processing
answer set programming
web applications
times faster
computational power
solving problems
database
data sets
artificial intelligence
combinatorial optimization
graphics hardware