Two phase clustering method for CNF clauses
FAN Quanrun;DUAN Zhenhua
Journal of Xidian University . 2016, (3): 55 -60 .  DOI: 10.3969/j.issn.1001-2400.2016.03.010