基于动态极大度的极小碰集求解方法

Keywords: [基于模型的诊断, 极小碰集, SE-Tree, 动态极大度, 向量交集, model-based diagnosis, minimal hitting set, SE-Tree, dynamic maximum degree, intersection of vectors]

Full-Text   Cite this paper   Add to My Lib

Abstract:

在计算集合簇的碰集时,结合SE-Tree(set enume..

Full-Text