Jinyan Wang, Minghao Yin, Jingli Wu. Approximate Model Counting via Extension Rule. In Jianxin Wang, Chee-Keng Yap, editors, Frontiers in Algorithmics - 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings. Volume 9130 of Lecture Notes in Computer Science, pages 229-240, Springer, 2015. [doi]
Abstract is missing.