Optimizing Answer Set Computation via Heuristic-Based Decomposition

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]

Authors

Francesco Calimeri

This author has not been identified. Look up 'Francesco Calimeri' in Google

Davide Fuscà

This author has not been identified. Look up 'Davide Fuscà' in Google

Simona Perri

This author has not been identified. Look up 'Simona Perri' in Google

Jessica Zangari

This author has not been identified. Look up 'Jessica Zangari' in Google