There is a newer version of this record available.

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}
}
424
192
views
downloads
All versions This version
Views 424344
Downloads 192182
Data volume 19.9 GB17.4 GB
Unique views 341287
Unique downloads 115111

Share

Cite as