Dataset Open Access

Model Counting Competition 2020: Competition Instances

Johannes K. Fichte; Markus Hecher; Florim Hamiti


BibTeX Export

@dataset{johannes_k_fichte_2020_5042328,
  author       = {Johannes K. Fichte and
                  Markus Hecher and
                  Florim Hamiti},
  title        = {{Model Counting Competition 2020: Competition 
                   Instances}},
  month        = jul,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.5042328},
  url          = {https://doi.org/10.5281/zenodo.5042328}
}
439
193
views
downloads
All versions This version
Views 43985
Downloads 19310
Data volume 20.0 GB2.5 GB
Unique views 34871
Unique downloads 1167

Share

Cite as