Faster Algorithms
nMinimal
conflicts
nMinimal
diagnoses
nMyopic probing
strategy
BAD NEWS:
May be exponential number of
conflicts
May be exponential number of
diagnoses
Not enough to diagnose
systems of 10,000s components in any case