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>
243
395
views
downloads
All versions This version
Views 243243
Downloads 395395
Data volume 165.5 GB165.5 GB
Unique views 205205
Unique downloads 206206

Share

Cite as