TY  - RPRT
TI  - Optimizing Answer Set Computation via Heuristic-Based Decomposition
AU  - Francesco Calimeri
AU  - Simona Perri
AU  - Jessica Zangari
PY  - 2019
DO  - 10.1017/s1471068419000036
UR  - https://arxiv.org/abs/1812.09718
ID  - 1812.09718
ER  -