A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection.

Liu Liu Mirek Truszczynski Yuliya Lierler A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. 415-428 2022 LPNMR https://doi.org/10.1007/978-3-031-15707-3_32 conf/lpnmr/2022 db/conf/lpnmr/lpnmr2022.html#LiuTL22