Persönlicher Status und Werkzeuge

Home Publications
Using Model Counting to Find Optimal Distinguishing Tests (bibtex)
@TECHREPORT{heinz_using_2008,
  author = {Heinz, Stefan and Sachenbacher, Martin},
  title = {Using Model Counting to Find Optimal Distinguishing Tests},
  institution = {Zuse Institute Berlin},
  year = {2008},
  number = {08-32}
}
Powered by bibtexbrowser
Export as PDF or BIB
Back to Publications
Last edited 29.01.2013 17:37 by Quirin Lohr