Computing Minimum-cardinality Diagnoses by Model Relaxation Sajjad Siddiqi National University of Sciences and Technology (NUST) Islamabad, Pakistan.
Sajjad Siddiqi and Jinbo Huang National ICT Australia and Australian National University Hierarchical Diagnosis of Multiple Faults.