Constraint Suspension
nInefficient
nScales poorly to multiple faults
nInformal
What follows are formal definitions of the basic concepts of model-based diagnosis for multiple faults