Approximate Integer Solution Counts over Linear Arithmetic Constraints.

Cunjing Ge

Browse the full AAAI paper archive.