Approximation Algorithms for Model-Based Diagnosis. - Aleksandar Feldman (2010)