ISSN 1000-1239 CN 11-1777/TP
Solving Minimal Hitting Sets Method with SAT Based on DOEC Minimization
Wang Rongquan,Ouyang Dantong,Wang Yiyuan,Liu Siguang, Zhang Liming
Journal of Computer Research and Development . 2018, (6): 1273 -1281 .  DOI: 10.7544/issn1000-1239.2018.20160809