结合SE-Tree结构特征的极小碰集求解算法

DOI: 10.7544/issn1000-1239.2016.20150396

Keywords: [基于模型诊断, 极小碰集, 集合枚举树, 辅助剪枝树, 无解空间剪枝, model-based diagnosis, minimal hitting set, SE-Tree, assistant pruning tree, non-solution space pruning]

Full-Text   Cite this paper   Add to My Lib

Abstract:

在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对..

Full-Text