Abreu R, Van Gemund AJC.? 2009.??A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. Abstraction, Reformulation, and Approximation (SARA).