C. Ge, “Approximate Integer Solution Counts over Linear Arithmetic Constraints”, AAAI, vol. 38, no. 8, pp. 8022-8029, Mar. 2024.