Probabilistic Properties of Satisfiable Solutions on Space of Assignments for CNF Formula
MO Xiaoling, XU Daoyun
Journal of Frontiers of Computer Science and Technology . 2018, (11): 1852 -1861 .  DOI: 10.3778/j.issn.1673-9418.1805035