Liu Liu, Mirek Truszczynski, Yuliya Lierler: A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. LPNMR 2022: 415-428