[1] COOK S A. The Complexity of Theorem Proving Procedures[C]//Proceedings of the Third Annual ACM Symposium on Theory of Computing. New York: ACM, 1971: 151-158.
[2] ESTIVILL-CASTRO V. Why so Many Clustering Algorithms [J]. ACM SIGKDD Explorations Newsletter, 2002, 4(1): 65-75.
[3] 孙吉贵, 刘杰, 赵连宇. 聚类算法研究[J]. 软件学报, 2008, 19(1): 48-61.
SUN Jigui, LIU Jie, ZHAO Lianyu. Clustering Algorithms Research[J]. Journal of Software, 2008,19(1): 48-61.
[4] 张懿璞. 一种新的DNA模体发现聚类求精算法[J]. 西安电子科技大学学报, 2014, 41(6): 95-99.
ZHANG Yipu. Novel Cluster Refinement Algorithm for DNA Motif Discovery[J]. Journal of Xidian University, 2014, 41(6): 95-99.
[5] 刘逸, 寇卫东, 慕彩红. 结合多阈值法的模糊聚类用于SAR图像变化检测[J]. 西安电子科技大学学报, 2013, 40(6): 13-18.
LIU Yi, KOU Weidong, MU Caihong. Change Detection for SAR Images Based on Fuzzy Clustering Using Multilevel Thresholding[J]. Journal of Xidian University, 2013, 40(6): 13-18.
[6] GUHA S, RASTOGI R, SHIM K. ROCK: a Robust Clustering Algorithm for Categorical Attributes[J]. Information Systems, 2000, 25(5): 345-366.
[7] HOOS H H, STUTZLE T. SATLIB: an Online Resource for Research on SAT[C]//Proceedings of the SAT. Amsterdam: IOS Press, 2000: 283-292.
[8] BALLNT A, BELOV A, HEULE M J H, et al. SAT Competition 2013 Solver and Benchmark Descriptions[C]//Proceedings of the SAT Competition 2013. Helsinki: University of Helsinki, 2013: 93-124. |