Diagnosis via Constraint Suspension
nFor each component c:
–Remove constraints for component c
–Propagate constraints
–If inconsistency is removed, c is a diagnosis
n