Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Dataset . 2023
License: CC BY
Data sources: ZENODO
Zenodo
Claim

Model Counting Competition 2023: Full Instance Set

Research datakeyboard_double_arrow_right Dataset 17 Oct 2023Publisher:Zenodo
Authors: Fichte, Johannes; Hecher, Markus;

doi: 10.5281/zenodo.10012822

Model Counting Competition 2023: Full Instance Set

Abstract

The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2023. The dataset includes short benchmark descriptions (00_description.{pdf,txt,md}) by the submitters/collectors (00_authors.txt). For a more details, we refer to the upcoming reportFichte, Hecher: The Model Counting Competition 2021-2023. Contributors are listed in the dataset/report.

Related Organizations
Powered by OpenAIRE graph
Found an issue? Give us feedback