System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. - Daniel Bresnahan; Nicholas Hippen; Yuliya Lierler (Theory Pract. Log. Program., 2024)