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
More info on how stats are collected.
Indexed in
Publication date:
July 7, 2020
DOI:
10.5281/zenodo.5042328

Zenodo DOI Badge

DOI 

10.5281/zenodo.5042328

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5042328.svg)](https://doi.org/10.5281/zenodo.5042328)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5042328.svg
   :target: https://doi.org/10.5281/zenodo.5042328

HTML 

<a href="https://doi.org/10.5281/zenodo.5042328"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5042328.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5042328.svg

Target URL 

https://doi.org/10.5281/zenodo.5042328

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2 10.5281/zenodo.5042328 Jul 7, 2020
Version 1 10.5281/zenodo.3934427 Jul 7, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3934426. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export