Using Model Counting to Find Optimal Distinguishing Tests (bibtex)

by Stefan Heinz and Martin Sachenbacher

Reference:

Stefan Heinz and 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}
}