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