@misc{indiciae74150e1d87f0,
  title = {System for solving diagnosis and hitting set problems},
  author = {Fijany, Amir and Vatan, Farrokh},
  year = {2007},
  url = {https://ntrs.nasa.gov/citations/20080009461},
  note = {Source identifier: 20080009461}
}