Thomas Eiter, Tobias Kaminski. Pruning External Minimality Checking for ASP Using Semantic Dependencies. In Marcello Balduccini, Yuliya Lierler, Stefan Woltran, editors, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Volume 11481 of Lecture Notes in Computer Science, pages 326-339, Springer, 2019. [doi]
Abstract is missing.