Dataset Open Access

Model Counting Competition 2020: Submitted Solvers

Johannes Fichte; Markus Hecher; Florim Hamiti

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
357
121
views
downloads
All versions This version
Views 357357
Downloads 121121
Data volume 15.9 GB15.9 GB
Unique views 300300
Unique downloads 119119
More info on how stats are collected.
Indexed in
Publication date:
November 26, 2020
DOI:
10.5281/zenodo.4292581

Zenodo DOI Badge

DOI 

10.5281/zenodo.4292581

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg)](https://doi.org/10.5281/zenodo.4292581)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg
   :target: https://doi.org/10.5281/zenodo.4292581

HTML 

<a href="https://doi.org/10.5281/zenodo.4292581"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg

Target URL 

https://doi.org/10.5281/zenodo.4292581

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4292581 Nov 26, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4292580. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export