Compiling Model-Based Diagnosis to Boolean Satisfaction

Open in new window