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]
Abstract is missing.