Kabir, M., Chakraborty, S., & Meel, K. S. (2024). Exact ASP Counting with Compact Encodings. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10571–10580. https://doi.org/10.1609/aaai.v38i9.28927