TY - RPRT TI - System for solving diagnosis and hitting set problems AU - Fijany, Amir AU - Vatan, Farrokh PY - 2007 UR - https://ntrs.nasa.gov/citations/20080009461 ID - 20080009461 ER -