Dec, 2023
用紧凑编码进行准确 ASP 计数
Exact ASP Counting with Compact Encodings
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel
TL;DRAnswer Set Programming (ASP) has emerged as a promising paradigm in knowledge representation and automated reasoning, and this paper introduces a new ASP counting framework called sharpASP that significantly improves performance in solving answer set problems.