<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01905639</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-21T05:33:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Error-Free Affine, Unitary, and Probabilistic OBDDs</title>
            <author role="aut">
              <persName>
                <forename type="first">Rishat</forename>
                <surname>Ibrahimov</surname>
              </persName>
              <email type="md5">c3cee43ae5fa788e00b647e7bee434a0</email>
              <email type="domain">yandex.ru</email>
              <idno type="idhal" notation="numeric">1038042</idno>
              <idno type="halauthorid" notation="string">1444129-1038042</idno>
              <affiliation ref="#struct-545751"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kamil</forename>
                <surname>Khadiev</surname>
              </persName>
              <email type="md5">f1b3fd5a478dba9e1feaa6a6c5e6bb95</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1038043</idno>
              <idno type="halauthorid" notation="string">1444130-1038043</idno>
              <affiliation ref="#struct-305048"/>
              <affiliation ref="#struct-545751"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Krišjānis</forename>
                <surname>Prūsis</surname>
              </persName>
              <email type="md5">c61a776e317cd519c21efe7aed4db58c</email>
              <email type="domain">lu.lv</email>
              <idno type="idhal" notation="numeric">1038044</idno>
              <idno type="halauthorid" notation="string">1444131-1038044</idno>
              <affiliation ref="#struct-305048"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Abuzer</forename>
                <surname>Yakaryilmaz</surname>
              </persName>
              <email type="md5">7c45691ed8d107cd93b40d52ae87a9a6</email>
              <email type="domain">lu.lv</email>
              <idno type="idhal" notation="numeric">1024587</idno>
              <idno type="halauthorid" notation="string">826169-1024587</idno>
              <affiliation ref="#struct-305048"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-10-26 08:01:42</date>
              <date type="whenModified">2020-01-14 10:48:09</date>
              <date type="whenReleased">2018-10-26 08:05:06</date>
              <date type="whenProduced">2018-07-25</date>
              <date type="whenEndEmbargoed">2021-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01905639v1/document">
                <date notBefore="2021-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01905639v1/file/470153_1_En_15_Chapter.pdf" id="file-1905639-1936136">
                <date notBefore="2021-01-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01905639</idno>
            <idno type="halUri">https://inria.hal.science/hal-01905639</idno>
            <idno type="halBibtex">ibrahimov:hal-01905639</idno>
            <idno type="halRefHtml">&lt;i&gt;20th International Conference on Descriptional Complexity of Formal Systems (DCFS)&lt;/i&gt;, Jul 2018, Halifax, NS, Canada. pp.175-187, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-94631-3_15"&gt;&amp;#x27E8;10.1007/978-3-319-94631-3_15&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.175-187, &amp;#x27E8;10.1007/978-3-319-94631-3_15&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1905639-1936136"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC1" corresp="IFIP-TC">IFIP TC1: Foundations of Computer Science</idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-DCFS" corresp="IFIP">Descriptional Complexity of Formal Systems</idno>
            <idno type="stamp" n="IFIP-WG1-2" corresp="IFIP-WG">WG 1.2: Descriptional Complexity</idno>
            <idno type="stamp" n="IFIP-LNCS-10952" corresp="IFIP-LNCS">Descriptional Complexity of Formal Systems</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Error-Free Affine, Unitary, and Probabilistic OBDDs</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Rishat</forename>
                    <surname>Ibrahimov</surname>
                  </persName>
                  <email type="md5">c3cee43ae5fa788e00b647e7bee434a0</email>
                  <email type="domain">yandex.ru</email>
                  <idno type="idhal" notation="numeric">1038042</idno>
                  <idno type="halauthorid" notation="string">1444129-1038042</idno>
                  <affiliation ref="#struct-545751"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kamil</forename>
                    <surname>Khadiev</surname>
                  </persName>
                  <email type="md5">f1b3fd5a478dba9e1feaa6a6c5e6bb95</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1038043</idno>
                  <idno type="halauthorid" notation="string">1444130-1038043</idno>
                  <affiliation ref="#struct-305048"/>
                  <affiliation ref="#struct-545751"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Krišjānis</forename>
                    <surname>Prūsis</surname>
                  </persName>
                  <email type="md5">c61a776e317cd519c21efe7aed4db58c</email>
                  <email type="domain">lu.lv</email>
                  <idno type="idhal" notation="numeric">1038044</idno>
                  <idno type="halauthorid" notation="string">1444131-1038044</idno>
                  <affiliation ref="#struct-305048"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Abuzer</forename>
                    <surname>Yakaryilmaz</surname>
                  </persName>
                  <email type="md5">7c45691ed8d107cd93b40d52ae87a9a6</email>
                  <email type="domain">lu.lv</email>
                  <idno type="idhal" notation="numeric">1024587</idno>
                  <idno type="halauthorid" notation="string">826169-1024587</idno>
                  <affiliation ref="#struct-305048"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>20th International Conference on Descriptional Complexity of Formal Systems (DCFS)</title>
                  <date type="start">2018-07-25</date>
                  <date type="end">2018-07-27</date>
                  <settlement>Halifax, NS</settlement>
                  <country key="CA">Canada</country>
                </meeting>
                <editor>Stavros Konstantinidis</editor>
                <editor>Giovanni Pighizzini</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Descriptional Complexity of Formal Systems</biblScope>
                  <biblScope unit="volume">LNCS-10952</biblScope>
                  <biblScope unit="pp">175-187</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-94631-3_15</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Succinctness</term>
                <term xml:lang="en">Las Vegas computation</term>
                <term xml:lang="en">Zero-error</term>
                <term xml:lang="en">Quantum and probabilistic computation</term>
                <term xml:lang="en">Affine models</term>
                <term xml:lang="en">OBDDs</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results for the automata versions of these models.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 1</org>
              <org type="consortium">WG 1.2</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-545751" status="VALID">
          <idno type="ROR">https://ror.org/05256ym39</idno>
          <orgName>Kazan Federal University</orgName>
          <orgName type="acronym">KFU</orgName>
          <date type="start">1804-01-01</date>
          <desc>
            <address>
              <addrLine>18 Kremlyovskaya street, Kazan 420008</addrLine>
              <country key="RU"/>
            </address>
            <ref type="url">https://kpfu.ru/eng</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-305048" status="VALID">
          <idno type="IdRef">034251022</idno>
          <idno type="ROR">https://ror.org/05g3mes96</idno>
          <orgName>University of Latvia</orgName>
          <orgName type="acronym">LU</orgName>
          <desc>
            <address>
              <addrLine>Raiņa bulvāris 19, Centra rajons, Rīga, LV-1586</addrLine>
              <country key="LV"/>
            </address>
            <ref type="url">https://www.lu.lv/eng/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>