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", In Proc. First International Workshop on Counting Problems in CSP and SAT, and other neighbouring problems (Counting'08), 2008. Accepted for publication

Bibtex Entry:

@inproceedings{HeinzSachenbacher08b,
  Author         = {Stefan Heinz and Martin Sachenbacher},
  Title          = {{Using Model Counting to Find Optimal Distinguishing Tests}},
  BookTitle      = {Proc.~First International Workshop on Counting Problems in CSP and SAT, and other neighbouring problems (Counting'08)},
  note           = {Accepted for publication},
  year           = 2008,
  bib2html_pubtype    = {Workshop Paper},
  bib2html_rescat     = {Models, Reasoning},
  bib2html_groups     = {Self-Diagnosis and Planning},
  bib2html_funding    = {Self-Diagnosis and Planning}
}