A Novel SAT-Based Approach to Model Based Diagnosis

Open in new window