CNF公式赋值空间上可满足解的概率性质

莫孝玲，许道云

Probabilistic Properties of Satisfiable Solutions on Space of Assignments for CNF Formula

MO Xiaoling, XU Daoyun

计算机科学与探索 . 2018, (11): 1852 -1861 . DOI: 10.3778/j.issn.1673-9418.1805035