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]
@inproceedings{LiuTL22-2,
title = {A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection},
author = {Liu Liu and Mirek Truszczynski and Yuliya Lierler},
year = {2022},
doi = {10.1007/978-3-031-15707-3_32},
url = {https://doi.org/10.1007/978-3-031-15707-3_32},
researchr = {https://researchr.org/publication/LiuTL22-2},
cites = {0},
citedby = {0},
pages = {415-428},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings},
editor = {Georg Gottlob and Daniela Inclezan and Marco Maratea},
volume = {13416},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-15707-3},
}