A New Probabilistic Algorithm for Approximate Model Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Cunjing Ge' in GoogleThis author has not been identified. Look up 'Feifei Ma' in GoogleThis author has not been identified. Look up 'Tian Liu' in GoogleThis author has not been identified. Look up 'Jian Zhang 0001' in GoogleThis author has not been identified. Look up 'Xutong Ma' in Google

runs on WebDSL