Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. TPLP, 24(1):132-156, January 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.