篇名 | Efficient zonal diagnosis with maximum satisfiability | ||
来源期刊 | 中国科学 | 学科 | 地球科学 |
关键词 | model-based diagnosis MaxS AT subset-minimal diagnoses cardinality-minimal diagnoses zone propagate-extend | ||
年,卷(期) | zgkx_2018,(11) | 所属期刊栏目 | |
研究方向 | 页码范围 | 13-26 | |
页数 | 14页 | 分类号 | N |
字数 | 语种 | 中文 | |
DOI |