GPU-based parallelism for ASP-solving.

Agostino Dovier Andrea Formisano Flavio Vella

Published in: CoRR (2019)

Keyphrases

parallel computation
parallel processing
web applications
collision detection
databases
answer set programming
database systems
shared memory
solving problems
real world
computer vision
constraint satisfaction problems
parallel implementation
computational power
massively parallel