research data . Dataset . 2020

Model Counting Competition 2020: Full Instance Set

Fichte, Johannes; Hecher, Markus; Hamiti, Florim;
Open Access English
  • Published: 26 Nov 2020
  • Publisher: Zenodo
Abstract
The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2020. The dataset includes short benchmark descriptions by the submitters. For a more details, we refer to the report Fichte, Hecher, Hamiti: The Model Counting Competition 2020 on ArXiv.
Download fromView all 2 versions
Open Access
Zenodo
Dataset . 2020
Provider: Datacite
Open Access
Zenodo
Dataset . 2020
Provider: Datacite
Open Access
Zenodo
Dataset . 2020
Provider: Zenodo
Any information missing or wrong?Report an Issue