Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma: A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR 2018