Computing Minimum-Cardinality Diagnoses by Model Relaxation