Liu Liu, Mirek Truszczynski, Yuliya Lierler. A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Volume 13416 of Lecture Notes in Computer Science, pages 415-428, Springer, 2022. [doi]
Abstract is missing.