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), 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{heinz_using_2008-1,
 author = {S Heinz and M 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)},
 year = {2008},
}
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), 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{heinz_using_2008-1,
 author = {S Heinz and M 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)},
 year = {2008},
}
Powered by bibtexbrowser
publications

Publications