<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>8312</id>
    <completedYear/>
    <publishedYear>2021</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>25</pageFirst>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin</title>
    <parentTitle language="eng">Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions</parentTitle>
    <identifier type="url">http://hdl.handle.net/10138/333647</identifier>
    <note>CaDiCaL_PriPro won the Special Innovation Price at the SAT Competition 2021</note>
    <enrichment key="PeerReviewed">no</enrichment>
    <enrichment key="opus.source">publish</enrichment>
    <author>Benjamin Kaiser</author>
    <submitter> Schintke</submitter>
    <author>Robert Clausecker</author>
    <collection role="institutes" number="vas">Distributed Algorithms and Supercomputing</collection>
    <collection role="projects" number="no-project">no-project</collection>
    <collection role="persons" number="clausecker">Clausecker, Robert</collection>
    <collection role="persons" number="kaiser">Kaiser, Benjamin</collection>
  </doc>
</export-example>
