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", 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}
}
Powered by bibtexbrowser