Ge, C. (2024). Approximate Integer Solution Counts over Linear Arithmetic Constraints. Proceedings of the AAAI Conference on Artificial Intelligence, 38(8), 8022-8029. https://doi.org/10.1609/aaai.v38i8.28640