Efficient zonal diagnosis with maximum satisfiability

• 作者: Dantong OUYANG[1,3] Liming ZHANG[1,3] Meng LIU[1,3] Shaowei CAI[2]
• 来源期刊: 中国科学
• 学科: 地球科学
• 关键词: model-based diagnosis MaxS AT subset-minimal diagnoses cardinality-minimal diagnoses zone propagate-extend
• 年，卷（期）: 2018,（11）
• 页码范围: 13-26
• 页数: 14页
• 分类号: N
• 语种: 中文