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, Xutong Ma. A New Probabilistic Algorithm for Approximate Model Counting. In Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani, editors, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Volume 10900 of Lecture Notes in Computer Science, pages 312-328, Springer, 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' in GoogleThis author has not been identified. Look up 'Xutong Ma' in Google

runs on WebDSL