Kabir, M.; Chakraborty, S.; Meel, K. S. Exact ASP Counting With Compact Encodings. AAAI 2024, 38, 10571-10580.