Systematic Parameter Decision in Approximate Model Counting

Jinping Lei, Toru Takisaka, Junqiang Peng +1

This paper proposes a novel approach to determining the internal parameters of the hashing-based approximate model counting algorithm $\mathsf{ApproxMC}$. In this problem, the chos…