结合DOEC极小化策略的SAT求解极小碰集方法
王荣全,欧阳丹彤,王艺源,刘思光,张立明
Solving Minimal Hitting Sets Method with SAT Based on DOEC Minimization
Wang Rongquan,Ouyang Dantong,Wang Yiyuan,Liu Siguang, Zhang Liming
计算机研究与发展
.
2018, (6): 1273
-1281
.
DOI: 10.7544/issn1000-1239.2018.20160809