A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Liu Liu' in GoogleThis author has not been identified. Look up 'Mirek Truszczynski' in GoogleThis author has not been identified. Look up 'Yuliya Lierler' in Google

runs on WebDSL