Non-minimal Diagnoses Philippe Dague and Yuhong Yan NRC-IIT [email protected] [email protected] Diagnosis Consider only assignment AB(c) and ¬AB(c)…
