Return to Article Details A Novel SAT-Based Approach to Model Based Diagnosis Download Download PDF