Approximate Model Counting Via Extension Rule and Clause Reduction. - Hao Liu; Ziao Ni; Wenyang Zhou; Tongbo Zhang; Shuai Lü 001 (ICIIP, 2018)