Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti


BibTeX Export

@dataset{johannes_fichte_2020_4292168,
  author       = {Johannes Fichte and
                  Markus Hecher and
                  Florim Hamiti},
  title        = {Model Counting Competition 2020: Full Instance Set},
  month        = nov,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4292168},
  url          = {https://doi.org/10.5281/zenodo.4292168}
}
120
172
views
downloads
All versions This version
Views 120120
Downloads 172172
Data volume 47.2 GB47.2 GB
Unique views 104104
Unique downloads 8989

Share

Cite as