Persönlicher Status und Werkzeuge

Home Publications
Using Model Counting to Find Optimal Distinguishing Tests (bibtex)
@INPROCEEDINGS{heinz_using_2008-1,
  author = {Heinz, Stefan and Sachenbacher, Martin},
  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},
  note = {Accepted for publication}
}
Powered by bibtexbrowser
Export as PDF or BIB
Back to Publications
Last edited 29.01.2013 17:37 by Quirin Lohr