1: \begin{abstract}

2: % The past two decades have seen significant improvements in the scalability of practical model counters, which have been influential in many applications, from artificial intelligence to formal verification. 

3: Model counting is a fundamental problem which has been influential in many applications, from artificial intelligence to formal verification.

4: Due to the intrinsic hardness of model counting, 

5: approximate techniques have been developed to solve

6: real-world instances of model counting.

7: This paper designs a new anytime approach called \PartialKC{} for approximate model counting.

8: The idea is a form of partial knowledge compilation to provide an unbiased estimate of the model count which can converge to the exact count.

9: Our empirical analysis demonstrates that {\PartialKC} achieves significant scalability and accuracy over prior state-of-the-art approximate counters, including satss and STS.

10: Interestingly, the empirical results show that \PartialKC{} reaches convergence for many instances and therefore provides exact model counting performance comparable to state-of-the-art exact counters.

11: \end{abstract}

12: