本文介绍了一种基于SAT求解器的算法RoundMC，用于处理CNF公式的近似计数问题。该算法显著提高了运行效率，速度提升4倍。同时，介绍了PBCount和PartialKC等新型计数器，展示了在准确性和可伸缩性方面的优势。研究了多种模型计数技术，推动了伪布尔公式的研究。