<?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-01841837v2</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-18T18:21:01+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Extending Constraint-Only Representation of Polyhedra with Boolean Constraints</title>
            <author role="aut">
              <persName>
                <forename type="first">Alexey</forename>
                <surname>Bakhirkin</surname>
              </persName>
              <email type="md5">565290baf7f55e65e89b5b9368552b9d</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1028653</idno>
              <idno type="halauthorid" notation="string">1190775-1028653</idno>
              <affiliation ref="#struct-1041816"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Monniaux</surname>
              </persName>
              <email type="md5">ceebaa21abca18130dac66c12ab347bf</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">david-monniaux</idno>
              <idno type="idhal" notation="numeric">9093</idno>
              <idno type="halauthorid" notation="string">2535-9093</idno>
              <idno type="IDREF">https://www.idref.fr/070681600</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7671-6126</idno>
              <affiliation ref="#struct-1041816"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alexey</forename>
                <surname>Bakhirkin</surname>
              </persName>
              <email type="md5">565290baf7f55e65e89b5b9368552b9d</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2018-07-17 15:34:04</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2019-01-23 19:21:51</date>
              <date type="whenModified">2025-09-27 19:09:24</date>
              <date type="whenReleased">2019-02-05 13:20:18</date>
              <date type="whenProduced">2018-08-29</date>
              <date type="whenEndEmbargoed">2019-01-23</date>
              <ref type="file" target="https://hal.science/hal-01841837v2/document">
                <date notBefore="2019-01-23"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01841837v2/file/sas18.pdf" id="file-1991439-2020781">
                <date notBefore="2019-01-23"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="539004">
                <persName>
                  <forename>Alexey</forename>
                  <surname>Bakhirkin</surname>
                </persName>
                <email type="md5">565290baf7f55e65e89b5b9368552b9d</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01841837</idno>
            <idno type="halUri">https://hal.science/hal-01841837</idno>
            <idno type="halBibtex">bakhirkin:hal-01841837</idno>
            <idno type="halRefHtml">&lt;i&gt;25th Static Analysis Symposium (SAS 2018)&lt;/i&gt;, Aug 2018, Freiburg im Breisgau, Germany. pp.127-145, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-99725-4_10"&gt;&amp;#x27E8;10.1007/978-3-319-99725-4_10&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">25th Static Analysis Symposium (SAS 2018), Aug 2018, Freiburg im Breisgau, Germany. pp.127-145, &amp;#x27E8;10.1007/978-3-319-99725-4_10&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1991439-2020781"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="VERIMAG">VERIMAG</idno>
            <idno type="stamp" n="UGA-COMUE">Université Grenoble Alpes [2016-2019]</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</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">Extending Constraint-Only Representation of Polyhedra with Boolean Constraints</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexey</forename>
                    <surname>Bakhirkin</surname>
                  </persName>
                  <email type="md5">565290baf7f55e65e89b5b9368552b9d</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1028653</idno>
                  <idno type="halauthorid" notation="string">1190775-1028653</idno>
                  <affiliation ref="#struct-1041816"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Monniaux</surname>
                  </persName>
                  <email type="md5">ceebaa21abca18130dac66c12ab347bf</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">david-monniaux</idno>
                  <idno type="idhal" notation="numeric">9093</idno>
                  <idno type="halauthorid" notation="string">2535-9093</idno>
                  <idno type="IDREF">https://www.idref.fr/070681600</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7671-6126</idno>
                  <affiliation ref="#struct-1041816"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>25th Static Analysis Symposium (SAS 2018)</title>
                  <date type="start">2018-08-29</date>
                  <date type="end">2018-08-31</date>
                  <settlement>Freiburg im Breisgau</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <editor>Andreas Podelski</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings</biblScope>
                  <biblScope unit="volume">11002</biblScope>
                  <biblScope unit="pp">127-145</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-99725-4_10</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</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 propose a new relational abstract domain for analysing programs with numeric and Boolean variables. The main idea is to represent an abstract state as a set of linear constraints over numeric variables, with every constraint being enabled by a formula over Boolean variables. This allows us, unlike in some existing approaches, to avoid duplicating linear constraints shared by multiple Boolean formulas. To perform domain operations, we adapt algorithms from constraint-only representation of convex polyhedra, most importantly Fourier-Motzkin elimination and projection-based convex hull. We made a prototype implementation of the new domain in our abstract interpreter for Horn clauses. Our initial experiments are, in our opinion, promising and show directions for future improvement.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1041816" status="OLD">
          <idno type="IdRef">184945623</idno>
          <idno type="ISNI">0000 0004 0382 7652</idno>
          <idno type="RNSR">199511789R</idno>
          <idno type="ROR">https://ror.org/05afmzm11</idno>
          <orgName>VERIMAG</orgName>
          <orgName type="acronym">VERIMAG - IMAG</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’Hères</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-89889" type="direct"/>
            <relation name="UMR5104" active="#struct-441569" type="direct"/>
            <relation active="#struct-445543" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-445543" status="OLD">
          <idno type="IdRef">188399275</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes [2016-2019]</orgName>
          <orgName type="acronym">UGA [2016-2019]</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>