Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:contributor>Pierre Bouvier</dc:contributor>
  <dc:contributor>Hubert Garavel</dc:contributor>
  <dc:contributor>Yong Lai</dc:contributor>
  <dc:contributor>Priyanka Golia</dc:contributor>
  <dc:contributor>Kuldeep S. Meel</dc:contributor>
  <dc:contributor>Sybille Moehle</dc:contributor>
  <dc:contributor>Cunjing Ge</dc:contributor>
  <dc:contributor>Armin Biere</dc:contributor>
  <dc:contributor>Ivor Spence</dc:contributor>
  <dc:contributor>Minghao Yin</dc:contributor>
  <dc:contributor>Yiyuan Wang</dc:contributor>
  <dc:contributor>Ke Xu</dc:contributor>
  <dc:contributor>Daniel Pehoushek</dc:contributor>
  <dc:contributor>Daniel Fremont</dc:contributor>
  <dc:contributor>Priyanka Golia</dc:contributor>
  <dc:contributor>Teodora Baluta</dc:contributor>
  <dc:contributor>Shiqi Shen</dc:contributor>
  <dc:contributor>Shweta Shinde</dc:contributor>
  <dc:contributor>Prateek Saxena</dc:contributor>
  <dc:creator>Johannes Fichte</dc:creator>
  <dc:creator>Markus Hecher</dc:creator>
  <dc:creator>Florim Hamiti</dc:creator>
  <dc:date>2020-11-26</dc:date>
  <dc:description>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.</dc:description>
  <dc:identifier>https://zenodo.org/record/4292168</dc:identifier>
  <dc:identifier>10.5281/zenodo.4292168</dc:identifier>
  <dc:identifier>oai:zenodo.org:4292168</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>doi:10.5281/zenodo.4292167</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:title>Model Counting Competition 2020: Full Instance Set</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>dataset</dc:type>
</oai_dc:dc>
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