Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari. Optimizing Answer Set Computation via Heuristic-Based Decomposition. In Francesco Calimeri, Kevin W. Hamlen, Nicola Leone, editors, Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings. Volume 10702 of Lecture Notes in Computer Science, pages 135-151, Springer, 2018. [doi]
@inproceedings{CalimeriFPZ18,
title = {Optimizing Answer Set Computation via Heuristic-Based Decomposition},
author = {Francesco Calimeri and Davide Fuscà and Simona Perri and Jessica Zangari},
year = {2018},
doi = {10.1007/978-3-319-73305-0_9},
url = {https://doi.org/10.1007/978-3-319-73305-0_9},
researchr = {https://researchr.org/publication/CalimeriFPZ18},
cites = {0},
citedby = {0},
pages = {135-151},
booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
editor = {Francesco Calimeri and Kevin W. Hamlen and Nicola Leone},
volume = {10702},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-73305-0},
}