Publications
• Sorted by Date • Classified by Publication Type • Classified by Research Category • Classified by Research Group • Classified by Author Last Name •
Stefan Heinz and Martin Sachenbacher. Using Model Counting to Find Optimal Distinguishing Tests. Technical Report 08-32, Zuse Institute Berlin, 2008.
Download
(unavailable)
Abstract
(unavailable)
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
}
Generated by bib2html.pl (written by Patrick Riley ) on Sat Nov 29, 2008 01:35:43 UTC
















