Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma. A New Probabilistic Algorithm for Approximate Model Counting. In Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan, editors, Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. Volume 2157 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.