%0 Journal Article
%T 利用CSP求解极小碰集的方法
%A 张永刚
%A 张立明
%A 欧阳丹彤
%A 王艺源
%J -
%D 2015
%R 10.7544/issn1000-1239.2015.20131478
%X 基于模型诊断是人工智能领域中具有挑战性的问题，包含了很多人工..
%K [极小碰集
%K 约束可满足问题
%K 基于模型诊断
%K hard-冲突集
%K soft-冲突集
%K minimal conflict sets
%K constraint satisfaction problem
%K model-based diagnosis (MBD)
%K hard-conflict set
%K soft-conflict set]
%U http://crad.ict.ac.cn/CN/10.7544/issn1000-1239.2015.20131478