Dataset Open Access
Model Counting Competition 2020: Submitted Solvers
Johannes Fichte; Markus Hecher; Florim Hamiti
Citation Style Language JSON Export
{
"publisher": "Zenodo",
"DOI": "10.5281/zenodo.4292581",
"author": [
{
"family": "Johannes Fichte"
},
{
"family": "Markus Hecher"
},
{
"family": "Florim Hamiti"
}
],
"issued": {
"date-parts": [
[
2020,
11,
26
]
]
},
"abstract": "<p>The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020 on the tracks:</p>\n\n<p>- Track 1 (Model Counting)<br>\n- Track 2 (Weighted Model Counting)<br>\n- Track 3 (Projected Model Counting)<br>\nDetails will be made public in the MCC2020 report (Fichte, Hecher, Hamiti: The Model Counting Competition 2020).</p>\n\n<p>We also refer to the competition website: https://mccompetition.org/</p>",
"title": "Model Counting Competition 2020: Submitted Solvers",
"type": "dataset",
"id": "4292581"
}
358
121
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 358 | 358 |
| Downloads | 121 | 121 |
| Data volume | 15.9 GB | 15.9 GB |
| Unique views | 301 | 301 |
| Unique downloads | 119 | 119 |
Indexed in
- Publication date:
- November 26, 2020
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International