电子学报2023，Vol.51Issue(5)：1334-1340,7.DOI:10.12263/DZXB.20220482
CIMHS:基于优化增量策略求解极小碰集的方法
CIMHS:A Method of Computing all Minimal Hitting Sets for Minimal Conflict Sets Based on an Optimized Incremental Strategy
摘要
关键词
基于模型诊断/极小冲突集/极小碰集/增量策略/启发式策略/全增量Key words
model-based diagnosis/minimal conflict set/minimal hitting set/incremental strategy/heuristic strate-gy/complete increment分类
信息技术与安全科学引用本文复制引用
魏霞,赵相福,黄森..CIMHS:基于优化增量策略求解极小碰集的方法[J].电子学报,2023,51(5):1334-1340,7.基金项目
国家自然科学基金(No.61972360,No.62072392) National Natural Science Foundation of China(No.61972360,No.62072392) （No.61972360,No.62072392）
