Using Model Counting to Find Optimal Distinguishing Tests (bibtex)
by Stefan Heinz, Martin Sachenbacher
Reference:
Stefan Heinz, Martin Sachenbacher, "Using Model Counting to Find Optimal Distinguishing Tests", Technical report, Zuse Institute Berlin, no. 08-32, 2008.
Bibtex Entry:
@TechReport{HeinzSachenbacher08a,
  Author         = {Stefan Heinz and Martin Sachenbacher},
  Title          = {{Using Model Counting to Find Optimal Distinguishing Tests}},
  Institution    = {Zuse Institute Berlin},
  number         = {08-32},
  year           = 2008,
  bib2html_pubtype    = {Other},
  bib2html_rescat     = {Models, Reasoning},
  bib2html_groups     = {Self-Diagnosis and Planning},
  bib2html_funding    = {Self-Diagnosis and Planning}
}
Powered by bibtexbrowser