引用本文: | 王荣全, 欧阳丹彤, 王艺源, 刘思光, 张立明. 结合DOEC极小化策略的SAT求解极小碰集方法[J]. 计算机研究与发展, 2018, 55(6): 1273-1281. doi: 10.7544/issn1000-1239.2018.20160809 |
Citation: | Wang Rongquan, Ouyang Dantong, Wang Yiyuan, Liu Siguang, Zhang Liming. Solving Minimal Hitting Sets Method with SAT Based on DOEC Minimization[J]. Journal of Computer Research and Development, 2018, 55(6): 1273-1281. doi: 10.7544/issn1000-1239.2018.20160809 |