Ge, C. Approximate Integer Solution Counts over Linear Arithmetic Constraints. AAAI 2024, 38, 8022-8029.