TY  - RPRT
TI  - GPU-based parallelism for ASP-solving
AU  - Agostino Dovier
AU  - Andrea Formisano
AU  - Flavio Vella
PY  - 2019
UR  - https://arxiv.org/abs/1909.01786
ID  - 1909.01786
ER  -