ISSN 1000-1239 CN 11-1777/TP
结合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