@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}
}
The counterSharp Model Counting Benchmark
| Autor(en): | Samuel Teuber und Alexander Weigl |
|---|---|
| Institution: | Karlsruhe Institute of Technology |
| Nummer: | 2022-02 |
| Jahr: | 2022 |
| DOI: | 10.5281/zenodo.5984174 |