<?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-00486726</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-01T13:51:06+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Constructive Interval Disjunction</title>
            <author role="aut">
              <persName>
                <forename type="first">Gilles</forename>
                <surname>Trombettoni</surname>
              </persName>
              <email type="md5">729088c7fb5e4cbbe3671953ebe711af</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">gilles-trombettoni</idno>
              <idno type="idhal" notation="numeric">20674</idno>
              <idno type="halauthorid" notation="string">39102-20674</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5283-7203</idno>
              <idno type="IDREF">https://www.idref.fr/075970414</idno>
              <affiliation ref="#struct-19641"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gilles</forename>
                <surname>Chabert</surname>
              </persName>
              <email type="md5">aa99cf48ef775b74e147e3bfee05e4aa</email>
              <email type="domain">mines-albi.fr</email>
              <idno type="idhal" notation="string">gilles-chabert</idno>
              <idno type="idhal" notation="numeric">8037</idno>
              <idno type="halauthorid" notation="string">16581-8037</idno>
              <idno type="IDREF">https://www.idref.fr/112900224</idno>
              <idno type="ORCID">https://orcid.org/0009-0004-7321-578X</idno>
              <orgName ref="#struct-84538"/>
              <affiliation ref="#struct-58841"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gilles</forename>
                <surname>Chabert</surname>
              </persName>
              <email type="md5">aa99cf48ef775b74e147e3bfee05e4aa</email>
              <email type="domain">mines-albi.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2010-05-26 14:35:01</date>
              <date type="whenModified">2025-10-01 14:24:03</date>
              <date type="whenReleased">2010-05-26 14:58:55</date>
              <date type="whenProduced">2007</date>
              <date type="whenEndEmbargoed">2010-05-26</date>
              <ref type="file" target="https://hal.science/hal-00486726v1/document">
                <date notBefore="2010-05-26"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00486726v1/file/trombe_chabert_cp07.pdf" id="file-486726-638892">
                <date notBefore="2010-05-26"/>
              </ref>
              <ref type="externalLink" target="http://hal-enpc.archives-ouvertes.fr/docs/00/48/67/26/PDF/trombe_chabert_cp07.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="132857">
                <persName>
                  <forename>Gilles</forename>
                  <surname>Chabert</surname>
                </persName>
                <email type="md5">aa99cf48ef775b74e147e3bfee05e4aa</email>
                <email type="domain">mines-albi.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00486726</idno>
            <idno type="halUri">https://hal.science/hal-00486726</idno>
            <idno type="halBibtex">trombettoni:hal-00486726</idno>
            <idno type="halRefHtml">&lt;i&gt;CP'07 - 13th International Conference on Principles and Practice of Constraint Programming&lt;/i&gt;, 2007, Providence, United States. pp.635-650, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-540-74970-7_45"&gt;&amp;#x27E8;10.1007/978-3-540-74970-7_45&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. pp.635-650, &amp;#x27E8;10.1007/978-3-540-74970-7_45&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-486726-638892"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENSTA-BRETAGNE">ENSTA Bretagne</idno>
            <idno type="stamp" n="ENPC" corresp="PARISTECH">École nationale des ponts et chaussées </idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="ENSTA-BRETAGNE-STIC" corresp="ENSTA">UFR S2I - Brest / Lab-STICC - Brest</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="ENSIETA-E3I2">Exploitation de l'Information en Environnements Incertains</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="ENSTA">Ensta</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">Constructive Interval Disjunction</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Gilles</forename>
                    <surname>Trombettoni</surname>
                  </persName>
                  <email type="md5">729088c7fb5e4cbbe3671953ebe711af</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">gilles-trombettoni</idno>
                  <idno type="idhal" notation="numeric">20674</idno>
                  <idno type="halauthorid" notation="string">39102-20674</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5283-7203</idno>
                  <idno type="IDREF">https://www.idref.fr/075970414</idno>
                  <affiliation ref="#struct-19641"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gilles</forename>
                    <surname>Chabert</surname>
                  </persName>
                  <email type="md5">aa99cf48ef775b74e147e3bfee05e4aa</email>
                  <email type="domain">mines-albi.fr</email>
                  <idno type="idhal" notation="string">gilles-chabert</idno>
                  <idno type="idhal" notation="numeric">8037</idno>
                  <idno type="halauthorid" notation="string">16581-8037</idno>
                  <idno type="IDREF">https://www.idref.fr/112900224</idno>
                  <idno type="ORCID">https://orcid.org/0009-0004-7321-578X</idno>
                  <orgName ref="#struct-84538"/>
                  <affiliation ref="#struct-58841"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">CP'07 - 13th International Conference on Principles and Practice of Constraint Programming</title>
                <meeting>
                  <title>CP'07 - 13th International Conference on Principles and Practice of Constraint Programming</title>
                  <date type="start">2007</date>
                  <settlement>Providence</settlement>
                  <country key="US">United States</country>
                </meeting>
                <editor>Christian Bessière</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">LNCS</biblScope>
                  <biblScope unit="volume">4741</biblScope>
                  <biblScope unit="pp">635-650</biblScope>
                  <date type="datePub">2007</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-540-74970-7_45</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</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 presents two new filtering operators for numerical CSPs (systems with constraints over the reals) based on constructive disjunction, as well as a new splitting heuristic. The fist operator (CID) is a generic algorithm enforcing constructive disjunction with intervals. The second one (3BCID) is a hybrid algorithm mixing constructive disjunction and shaving, another technique already used with numerical CSPs through the algorithm 3B. Finally, the splitting strategy learns from the CID filtering step the next variable to be split, with no overhead. Experiments have been conducted with 20 benchmarks. On several benchmarks, CID and 3BCID produce a gain in performance of orders of magnitude over a standard strategy. CID compares advantageously to the 3B operator while being simpler to implement. Experiments suggest to fix the CID-related parameter in 3BCID, offering thus to the user a promising variant of 3B.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-19641" status="OLD">
          <idno type="RNSR">200218406C</idno>
          <orgName>Constraints solving, optimization and robust interval analysis</orgName>
          <orgName type="acronym">COPRIN</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-sop.inria.fr/coprin/index.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301545" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-58841" status="OLD">
          <orgName>Extraction et Exploitation de l'Information en Environnements Incertains</orgName>
          <orgName type="acronym">E3I2</orgName>
          <desc>
            <address>
              <addrLine>2 rue François Verny, 29806 Brest cedex 9, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensieta.fr/e3i2</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301846" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</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="institution" xml:id="struct-301545" status="OLD">
          <idno type="ROR">https://ror.org/02nwvxz07</idno>
          <orgName>École nationale des ponts et chaussées</orgName>
          <orgName type="acronym">ENPC</orgName>
          <date type="start">1747-02-14</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>École nationale des ponts et chaussées, 6-8 avenue Blaise-Pascal, Cité Descartes, Champs-sur-Marne, 77455 Marne-la-Vallée cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ecoledesponts.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301846" status="OLD">
          <idno type="IdRef">177263660</idno>
          <idno type="ROR">https://ror.org/059n54003</idno>
          <orgName>École Nationale Supérieure de Techniques Avancées Bretagne</orgName>
          <orgName type="acronym">ENSTA Bretagne</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>2 rue François Verny, 29806 Brest cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ensta-bretagne.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>