Modeling Fault Propagation for Model-Based Diagnosis as a MaxSAT Problem. - Huisi Zhou; Ning Kang 025; Wei Hu 008 (AsianHOST, 2025)