conftrace_

integer solution

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

approximation algorithm (2) lattice point counting (1) random walk sampling (1) solution counting (1) volume computation (1) linear constraint (1)

Papers

Approximate Integer Solution Counts over Linear Arithmetic Constraints AAAI 2024 Approximating Integer Solution Counting via Space Quantification for Linear Constraints IJCAI 2019