Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang

Browse the full IJCAI paper archive.