Memory-Limited Model-Based Diagnosis