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},
}
Powered by bibtexbrowser
Using Model Counting to Find Optimal Distinguishing Tests (bibtex)
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},
}
Powered by bibtexbrowser

Publications