电子学报2009，Vol.37Issue(4)：804-810,7.
使用SAT求解器产生所有极小冲突部件集
Deriving All Minimal Conflict Sets Using Satisfiability Algorithms
摘要
关键词
基于模型的诊断/冲突集/可满足性/SAT求解器/启发式分类
信息技术与安全科学引用本文复制引用
赵相福,欧阳丹彤..使用SAT求解器产生所有极小冲突部件集[J].电子学报,2009,37(4):804-810,7.基金项目
国家自然科学基金重大项目(No.60496320,60496321) （No.60496320,60496321）
国家自然科学基金(No.60773097,60873148) （No.60773097,60873148）
新世纪优秀人才支持计划 （）
吉林省科技发展计划(No.20060532,20080107) （No.20060532,20080107）
欧盟项目(No.TH/Asia Link/OlO(111084)) （No.TH/Asia Link/OlO(111084）
吉林大学"985工程"研究生创新基金(No.20080115) （No.20080115）
