Hao Liu, Ziao Ni, Wenyang Zhou, Tongbo Zhang, Shuai Lü. Approximate Model Counting Via Extension Rule and Clause Reduction. In Proceedings of the 3rd International Conference on Intelligent Information Processing, ICIIP 2018, Guilin, China, May 19-20, 2018. pages 40-45, ACM, 2018. [doi]
Abstract is missing.