1 |
REITER R. A theory of diagnosis from first principles[J]. Artificial Intelligence, 1987, 32(1): 57-95.
|
2 |
FRIEDRICH G, STUMPTNER M, WOTAWA F. Model-based diagnosis of hardware designs[J]. Artificial Intelligence, 1999, 111(1-2):3-39.
|
3 |
GREINER R, SMITH B A, WILKERSON R W. A correction to the algorithm in Reiter's theory of diagnosis[J]. Artificial Intelligence, 1989, 41(1): 79-88.
|
4 |
WOTAWA F. A variant of Reiter's hitting-set algorithm[J]. Information Processing Letters, 2001, 79(1): 45-51.
|
5 |
姜云飞, 林笠. 用对分HS-树计算最小碰集[J]. 软件学报, 2002, 13(12): 2267-3374.
|
|
JIANG Yun-fei, LIN Li. Computing the minimal hitting set with binary HS-Tree[J]. Journal of Software, 2002, 13(12): 2267-3374. (in Chinese)
|
6 |
姜云飞, 林笠. 用布尔代数方法计算最小碰集[J]. 计算机学报, 2003, 26(8): 919-924.
|
|
JIANG Yun-fei, LIN Li. The computation of hitting sets with Boolean formulas[J]. Chinese Journal of Computers, 2003, 26(8): 919-924. (in Chinese)
|
7 |
PILL I, QUARITSCH T. Optimizations for the Boolean approach to computing minimal hitting sets[C]//Proceedings of the 20th European Conference on Artificial Intelligence, 2012, 648-653.
|
8 |
刘思光, 欧阳丹彤, 张立明. 极小碰集求解中候选解极小性判定方法[J]. 软件学报, 2018, 29(12): 3733-3746.
|
|
LIU Si-guang, OUYANG Dan-tong, ZHANG Li-ming. Minimization of candidate solutions in minimal hitting sets solution[J]. Journal of Software, 2018, 29(12): 3733-3746. (in Chinese)
|
9 |
ZHAO Xiang-fu, OUYANG Dan-tong. Deriving all minimal hitting sets based on join relation[J]. IEEE Transactions on Systems Man Cybernetics System, 2015, 45(7): 1063-1076.
|
10 |
刘娟, 欧阳丹彤, 王艺源, 等. 结合特征学习的粒子群求解极小碰集方法[J]. 电子学报, 2015, 43(05): 841-845.
|
|
LIU Juan, OUYANG Dan-tong, WANG Yi-yuan, et al. Computing minimal hitting sets with particle swarm optimization combined characteristics learning[J]. Acta Electronica Sinica, 2015, 43(05): 841-845. (in Chinese)
|
11 |
何嫱君, 赵相福, 欧阳丹彤, 等. 极小碰集求解算法的性能分析与比较[J]. 电子学报, 2019, 47(05): 1101-1110.
|
|
HE Qiang-jun, ZHAO Xiang-fu, OUYANG Dan-tong, et al. Performance analysis and comparison of algorithms for generating minimal hitting sets[J]. Acta Electronica Sinica, 2019, 47(05): 1101-1110. (in Chinese)
|