A Method of Computing Minimal Hitting Sets Using CSP
Wang Yiyuan, Ouyang Dantong, Zhang Liming, Zhang Yonggang
(College of Computer Science and Technology, Jilin University, Changchun 130012) (Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun 130012)
Wang Yiyuan, Ouyang Dantong, Zhang Liming, Zhang Yonggang. A Method of Computing Minimal Hitting Sets Using CSP[J]. Journal of Computer Research and Development, 2015, 52(3): 588-595.