conftrace_

solution counting

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

approximation algorithm (2) dnf formula (1) hash function (1) integer solution (1) volume computation (1) monte carlo method (1) linear constraint (1)

Papers

Approximating Integer Solution Counting via Space Quantification for Linear Constraints IJCAI 2019 Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract) IJCAI 2019