Efficient Model Based Diagnosis