Conflict Directed Search
Let M be the set of putative minimal diagnoses,
initially containing only .
If no more conflicts, the M is the minimal diagnoses
For every new conflict C
For every diagnosis D in M
If D identifies one component in C as faulted, do nothing.
Else remove D from M and add to M all Dí which have some
component of C faulted.
Remove duplicates from M
Go to 2.