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

Liu Liu, Mirek Truszczynski, Yuliya Lierler

Browse the full LPNMR paper archive.