计算机工程与科学2007，Vol.29Issue(11)：127-130,4.
一种基于ATMS的求解所有极小冲突集的新方法
A New ATMS-Based Method for Deriving All Minimal Conflict Sets
摘要
关键词
基于模型的诊断/极小冲突集/ATMS分类
信息技术与安全科学引用本文复制引用
张立明,欧阳丹彤,赵相福..一种基于ATMS的求解所有极小冲突集的新方法[J].计算机工程与科学,2007,29(11):127-130,4.基金项目
国家自然科学基金重大项目(60496320,60496321) （60496320,60496321）
国家863计划资助项目(2003AA118020) （2003AA118020）
新世纪优秀人才支持计划项目基金和吉林省科技发展计划项目(20060532) （20060532）
