Dataset Open Access

Model Counting Competition 2020: Competition Instances

Johannes K. Fichte; Markus Hecher; Florim Hamiti


BibTeX Export

@dataset{johannes_k_fichte_2020_3934427,
  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.3934427},
  url          = {https://doi.org/10.5281/zenodo.3934427}
}
157
82
views
downloads
All versions This version
Views 157157
Downloads 8282
Data volume 9.4 GB9.4 GB
Unique views 138138
Unique downloads 4747

Share

Cite as