Using Model Counting to Find Optimal Distinguishing Tests (bibtex)
by S Heinz and M Sachenbacher
Reference:
Using Model Counting to Find Optimal Distinguishing Tests (S Heinz and M Sachenbacher), Technical report, Zuse Institute Berlin, 2008.
Bibtex Entry:
@techreport{heinz_using_2008,
author = {S Heinz and M Sachenbacher},
title = {Using Model Counting to Find Optimal Distinguishing Tests},
institution = {Zuse Institute Berlin},
year = {2008},
number = {08-32},
}