Journal of Xidian University ›› 2016, Vol. 43 ›› Issue (3): 55-60.doi: 10.3969/j.issn.1001-2400.2016.03.010

Previous Articles     Next Articles

Two phase clustering method for CNF clauses

FAN Quanrun1;DUAN Zhenhua1,2   

  1. (1. Research Inst. of Computing Theory & Technology, Xidian Univ., Xi'an  710071, China;
    2. State Key Lab. of Integrated Service Networks, Xidian Univ., Xi'an  710071, China)
  • Received:2015-01-20 Online:2016-06-20 Published:2016-07-16
  • Contact: FAN Quanrun E-mail:fqr_xd@126.com

Abstract:

Aimed at the Boolean clauses clustering, a two phases clustering method for CNF clauses is proposed. At the beginning, each clause is treated as a cluster. In the first phase, by a link based clustering method, the common neighbors between two clusters is used to determine how to merge the clusters. In the second phase, a similarity based clustering method is used. The first phase uses a global view to cluster the clauses, so the global optimum can be achieved in some sense. The second phase uses similarity to merge clusters, so the setting of the number of the final clusters in the algorithm is unnecessary. Experimental results show that the proposed method can lead to better clustering results with fewer common variables.

Key words: Boolean conjunctive normal form, clauses, clustering, links

CLC Number: 

  • TP311