<?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-00687640v2</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-25T01:56:18+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic</title>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Bobot</surname>
              </persName>
              <email type="md5">9140abb61b27a38ad808a3d35d6acb49</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="string">bobot</idno>
              <idno type="idhal" notation="numeric">13795</idno>
              <idno type="halauthorid" notation="string">19364-13795</idno>
              <idno type="IDREF">https://www.idref.fr/157148653</idno>
              <orgName ref="#struct-300016"/>
              <affiliation ref="#struct-56053"/>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sylvain</forename>
                <surname>Conchon</surname>
              </persName>
              <idno type="halauthorid">105453-0</idno>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Evelyne</forename>
                <surname>Contejean</surname>
              </persName>
              <email type="md5">35e2c816e840933eebce79dd60c69495</email>
              <email type="domain">universite-paris-saclay.fr</email>
              <idno type="idhal" notation="string">evelyne-contejean</idno>
              <idno type="idhal" notation="numeric">7439</idno>
              <idno type="halauthorid" notation="string">135391-7439</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=nwuCQNIAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/161751954</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8195-7861</idno>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed</forename>
                <surname>Iguernelala</surname>
              </persName>
              <email type="md5">4e6c3937980c0df696b7128564d0b6f2</email>
              <email type="domain">functori.com</email>
              <idno type="idhal" notation="string">mohamed-iguernlala</idno>
              <idno type="idhal" notation="numeric">1439343</idno>
              <idno type="halauthorid" notation="string">508458-1439343</idno>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Assia</forename>
                <surname>Mahboubi</surname>
              </persName>
              <email type="md5">f84732624357d93af445a6be95b96746</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">assia-mahboubi</idno>
              <idno type="idhal" notation="numeric">833195</idno>
              <idno type="halauthorid" notation="string">139169-833195</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0312-5461</idno>
              <affiliation ref="#struct-211984"/>
              <affiliation ref="#struct-65197"/>
              <affiliation ref="#struct-55047"/>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alain</forename>
                <surname>Mebsout</surname>
              </persName>
              <email type="md5">11174a2e758662f6daa993548cad9fe2</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="numeric">923799</idno>
              <idno type="halauthorid" notation="string">629254-923799</idno>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Melquiond</surname>
              </persName>
              <email type="md5">1154441c6f9d388508086ec1ea8c18fa</email>
              <email type="domain">inria.fr</email>
              <ptr type="url" target="https://guillaume.melquiond.fr/"/>
              <idno type="idhal" notation="string">guillaume-melquiond</idno>
              <idno type="idhal" notation="numeric">1146</idno>
              <idno type="halauthorid" notation="string">15444-1146</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6697-1809</idno>
              <idno type="IDREF">https://www.idref.fr/117280836</idno>
              <idno type="ARXIV">https://arxiv.org/a/melquiond_g_1</idno>
              <idno type="GOOGLE SCHOLAR">SuXuWQwAAAAJ</idno>
              <affiliation ref="#struct-56053"/>
              <affiliation ref="#struct-2544"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Guillaume</forename>
                <surname>Melquiond</surname>
              </persName>
              <email type="md5">1154441c6f9d388508086ec1ea8c18fa</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2012-04-13 16:41:36</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2012-04-16 19:08:01</date>
              <date type="whenModified">2025-02-26 15:22:03</date>
              <date type="whenReleased">2012-04-17 08:59:59</date>
              <date type="whenProduced">2012-06-26</date>
              <date type="whenEndEmbargoed">2012-04-16</date>
              <ref type="file" target="https://inria.hal.science/hal-00687640v2/document">
                <date notBefore="2012-04-16"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00687640v2/file/main.pdf" id="file-688154-771094">
                <date notBefore="2012-04-16"/>
              </ref>
              <ref type="externalLink" target="http://www.lri.fr/%7Emelquion/doc/12-ijcar-article.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="117957">
                <persName>
                  <forename>Guillaume</forename>
                  <surname>Melquiond</surname>
                </persName>
                <email type="md5">1154441c6f9d388508086ec1ea8c18fa</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00687640</idno>
            <idno type="halUri">https://inria.hal.science/hal-00687640</idno>
            <idno type="halBibtex">bobot:hal-00687640</idno>
            <idno type="halRefHtml">&lt;i&gt;6th International Joint Conference on Automated Reasoning&lt;/i&gt;, Jun 2012, Manchester, United Kingdom. pp.67-81, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-31365-3_8"&gt;&amp;#x27E8;10.1007/978-3-642-31365-3_8&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.67-81, &amp;#x27E8;10.1007/978-3-642-31365-3_8&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-688154-771094"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</idno>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LRI-VALS" corresp="UMR8623">Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</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">A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic</title>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Bobot</surname>
                  </persName>
                  <email type="md5">9140abb61b27a38ad808a3d35d6acb49</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="string">bobot</idno>
                  <idno type="idhal" notation="numeric">13795</idno>
                  <idno type="halauthorid" notation="string">19364-13795</idno>
                  <idno type="IDREF">https://www.idref.fr/157148653</idno>
                  <orgName ref="#struct-300016"/>
                  <affiliation ref="#struct-56053"/>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sylvain</forename>
                    <surname>Conchon</surname>
                  </persName>
                  <idno type="halauthorid">105453-0</idno>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Evelyne</forename>
                    <surname>Contejean</surname>
                  </persName>
                  <email type="md5">35e2c816e840933eebce79dd60c69495</email>
                  <email type="domain">universite-paris-saclay.fr</email>
                  <idno type="idhal" notation="string">evelyne-contejean</idno>
                  <idno type="idhal" notation="numeric">7439</idno>
                  <idno type="halauthorid" notation="string">135391-7439</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=nwuCQNIAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/161751954</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8195-7861</idno>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed</forename>
                    <surname>Iguernelala</surname>
                  </persName>
                  <email type="md5">4e6c3937980c0df696b7128564d0b6f2</email>
                  <email type="domain">functori.com</email>
                  <idno type="idhal" notation="string">mohamed-iguernlala</idno>
                  <idno type="idhal" notation="numeric">1439343</idno>
                  <idno type="halauthorid" notation="string">508458-1439343</idno>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Assia</forename>
                    <surname>Mahboubi</surname>
                  </persName>
                  <email type="md5">f84732624357d93af445a6be95b96746</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">assia-mahboubi</idno>
                  <idno type="idhal" notation="numeric">833195</idno>
                  <idno type="halauthorid" notation="string">139169-833195</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0312-5461</idno>
                  <affiliation ref="#struct-211984"/>
                  <affiliation ref="#struct-65197"/>
                  <affiliation ref="#struct-55047"/>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alain</forename>
                    <surname>Mebsout</surname>
                  </persName>
                  <email type="md5">11174a2e758662f6daa993548cad9fe2</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="numeric">923799</idno>
                  <idno type="halauthorid" notation="string">629254-923799</idno>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Melquiond</surname>
                  </persName>
                  <email type="md5">1154441c6f9d388508086ec1ea8c18fa</email>
                  <email type="domain">inria.fr</email>
                  <ptr type="url" target="https://guillaume.melquiond.fr/"/>
                  <idno type="idhal" notation="string">guillaume-melquiond</idno>
                  <idno type="idhal" notation="numeric">1146</idno>
                  <idno type="halauthorid" notation="string">15444-1146</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6697-1809</idno>
                  <idno type="IDREF">https://www.idref.fr/117280836</idno>
                  <idno type="ARXIV">https://arxiv.org/a/melquiond_g_1</idno>
                  <idno type="GOOGLE SCHOLAR">SuXuWQwAAAAJ</idno>
                  <affiliation ref="#struct-56053"/>
                  <affiliation ref="#struct-2544"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>6th International Joint Conference on Automated Reasoning</title>
                  <date type="start">2012-06-26</date>
                  <date type="end">2012-06-29</date>
                  <settlement>Manchester</settlement>
                  <country key="GB">United Kingdom</country>
                </meeting>
                <editor>Bernhard Gramlich and Dale Miller and Uli Sattler</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="volume">7364</biblScope>
                  <biblScope unit="pp">67-81</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-31365-3_8</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-ao">Computer Science [cs]/Computer Arithmetic</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>This paper describes a novel decision procedure for quantifier-free linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domain and then proceed either by projection (e.g. Omega-Test) or by branching/cutting methods (branch-and-bound, branch-and-cut, Gomory cuts). Our approach tries to bridge the gap between the two techniques: it interleaves an exhaustive search for a model with bounds inference. These bounds are computed provided an oracle capable of finding constant positive linear combinations of affine forms. We also show how to design an efficient oracle based on the Simplex procedure. Our algorithm is proved sound, complete, and terminating and is implemented in the Alt-Ergo theorem prover. Experimental results are promising and show that our approach is competitive with state-of-the-art SMT solvers.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-56053" status="OLD">
          <idno type="RNSR">200518375F</idno>
          <orgName>Proof of Programs</orgName>
          <orgName type="acronym">PROVAL</orgName>
          <date type="start">2005-09-08</date>
          <date type="end">2012-09-01</date>
          <desc>
            <address>
              <addrLine>PCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/proval</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2544" status="OLD">
          <idno type="RNSR">199812948M</idno>
          <orgName>Laboratoire de Recherche en Informatique</orgName>
          <orgName type="acronym">LRI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lri.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR8623" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-211984" status="OLD">
          <idno type="RNSR">201221067B</idno>
          <orgName>Symbolic Special Functions : Fast and Certified</orgName>
          <orgName type="acronym">SPECFUN</orgName>
          <date type="start">2012-11-01</date>
          <date type="end">2022-03-31</date>
          <desc>
            <address>
              <addrLine>Inria, Bâtiment Alan Turing 1 rue Honoré d'Estienne d'Orves Campus de l'École Polytechnique 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/specfun</ref>
          </desc>
          <listRelation>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-65197" status="VALID">
          <orgName>Microsoft Research - Inria Joint Centre</orgName>
          <orgName type="acronym">MSR - INRIA</orgName>
          <desc>
            <address>
              <addrLine>Parc Orsay Université 28, rue Jean Rostand 91893 Orsay Cedex FRANCE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.msr-inria.inria.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301681" type="direct"/>
            <relation active="#struct-379481" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-55047" status="OLD">
          <idno type="RNSR">200818377V</idno>
          <orgName>Types, Logic and computing</orgName>
          <orgName type="acronym">TYPICAL</orgName>
          <desc>
            <address>
              <addrLine>LIX Ecole Polytechnique 91129 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/typical</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2071" type="direct"/>
            <relation active="#struct-300340" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="indirect"/>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-118511" status="VALID">
          <idno type="RNSR">200818248E</idno>
          <idno type="ROR">https://ror.org/0315e5x55</idno>
          <orgName>Centre Inria de Saclay</orgName>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</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-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301681" status="VALID">
          <orgName>Microsoft Research Laboratory Cambridge</orgName>
          <desc>
            <address>
              <country key="GB"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-379481" status="VALID">
          <orgName>Microsoft Corporation [Redmond, Wash.]</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">https://www.microsoft.com/fr-fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>