Login
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
Go Back
