The counterSharp Model Counting Benchmark

Technischer Bericht

Autor(en):Samuel Teuber und Alexander Weigl
Institution:Karlsruhe Institute of Technology
Nummer:2022-02
Jahr:2022
DOI:10.5281/zenodo.5984174

BibTeX

@TechReport{MCBenchmark,
  author       = {Samuel Teuber and Alexander Weigl},
  title        = {The counterSharp Model Counting Benchmark},
  institution  = {Karlsruhe Institute of Technology},
  number       = {2022-02},
  year         = {2022},
  month        = feb,
  doi          = {10.5281/zenodo.5984174}
}