Department of Computer Science Technische Universitaet Muenchen
Home People Teaching Research Publications Info Sitemap
IAS | Image Understanding | Med | MQM

Publications

Sorted by DateClassified by Publication TypeClassified by Research CategoryClassified by Research GroupClassified by Author Last Name

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

Download

(unavailable)

Abstract

(unavailable)

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
}

Generated by bib2html.pl (written by Patrick Riley ) on Sat Nov 29, 2008 01:35:43 UTC


Computer Science IX | Technische Universität München