Approximate Integer Solution Counts over Linear Arithmetic Constraints

Cunjing Ge

Counting integer solutions of linear constraints has found interesting applications in various fields. It is equivalent to the problem of counting lattice points inside a polytope.…