Abreu R, Van Gemund AJC.? 2009.??Statistics-directed Minimal Hitting Set Algorithm. Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09). :51?58.