<?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-02762983</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-21T06:09:54+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Existential arc consistency: getting closer to full arc consistency in weighted CSPs</title>
            <author role="aut">
              <persName>
                <forename type="first">Federico</forename>
                <surname>Heras</surname>
              </persName>
              <idno type="halauthorid">105611-0</idno>
              <affiliation ref="#struct-85878"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Simon</forename>
                <surname>de Givry</surname>
              </persName>
              <email type="md5">f5d0830f759802e18d761ed8179bfc1f</email>
              <email type="domain">inrae.fr</email>
              <idno type="idhal" notation="string">simon-de-givry</idno>
              <idno type="idhal" notation="numeric">737107</idno>
              <idno type="halauthorid" notation="string">105612-737107</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2242-0458</idno>
              <idno type="IDREF">https://www.idref.fr/133608859</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=vE7M2zoAAAAJ</idno>
              <affiliation ref="#struct-25799"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Matthias</forename>
                <surname>Zytnicki</surname>
              </persName>
              <email type="md5">69d92045fbd6ea2706b30ab1a83c52ac</email>
              <email type="domain">inrae.fr</email>
              <idno type="idhal" notation="string">matthias-zytnicki</idno>
              <idno type="idhal" notation="numeric">748132</idno>
              <idno type="halauthorid" notation="string">49878-748132</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4895-8731</idno>
              <affiliation ref="#struct-104665"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Javier</forename>
                <surname>Larrosa</surname>
              </persName>
              <email type="md5">ec13b1b5af9d940fa2c43e8ad6eeb5d6</email>
              <email type="domain">lsi.upc.es</email>
              <idno type="idhal" notation="numeric">1072158</idno>
              <idno type="halauthorid" notation="string">105613-1072158</idno>
              <affiliation ref="#struct-85878"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Migration</forename>
                <surname>ProdInra</surname>
              </persName>
              <email type="md5">9e5ed7d56b52b3d4383123b1ffb42236</email>
              <email type="domain">inrae.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-06-04 06:45:55</date>
              <date type="whenModified">2025-03-21 15:12:17</date>
              <date type="whenReleased">2020-06-04 06:45:55</date>
              <date type="whenProduced">2005-07-30</date>
              <fs>
                <f name="inra_publicVise_local" notation="string" n="SC">
                  <string>inra_publicVise_local_SC</string>
                </f>
              </fs>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="888556">
                <persName>
                  <forename>Migration</forename>
                  <surname>ProdInra</surname>
                </persName>
                <email type="md5">9e5ed7d56b52b3d4383123b1ffb42236</email>
                <email type="domain">inrae.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02762983</idno>
            <idno type="halUri">https://hal.inrae.fr/hal-02762983</idno>
            <idno type="halBibtex">heras:hal-02762983</idno>
            <idno type="halRefHtml">&lt;i&gt;IJCAI 2005 - International Joint Conference on Artificial Intelligence&lt;/i&gt;, Jul 2005, Edimbourg, United Kingdom</idno>
            <idno type="halRef">IJCAI 2005 - International Joint Conference on Artificial Intelligence, Jul 2005, Edimbourg, United Kingdom</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRA">INRA - Institut national de la recherche agronomique</idno>
            <idno type="stamp" n="AGREENIUM">Archive ouverte en agrobiosciences</idno>
            <idno type="stamp" n="INRAE">Institut National de Recherche en Agriculture, Alimentation et Environnement</idno>
            <idno type="stamp" n="URGI">Unité de Recherche Génomique-Info</idno>
            <idno type="stamp" n="MATHNUM">Département MathNum</idno>
            <idno type="stamp" n="MIAT">Unité de Mathématiques et Informatique Appliquées de Toulouse</idno>
            <idno type="stamp" n="TEST-MATHNUM">Test MathNum</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>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Existential arc consistency: getting closer to full arc consistency in weighted CSPs</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Federico</forename>
                    <surname>Heras</surname>
                  </persName>
                  <idno type="halauthorid">105611-0</idno>
                  <affiliation ref="#struct-85878"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Simon</forename>
                    <surname>de Givry</surname>
                  </persName>
                  <email type="md5">f5d0830f759802e18d761ed8179bfc1f</email>
                  <email type="domain">inrae.fr</email>
                  <idno type="idhal" notation="string">simon-de-givry</idno>
                  <idno type="idhal" notation="numeric">737107</idno>
                  <idno type="halauthorid" notation="string">105612-737107</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2242-0458</idno>
                  <idno type="IDREF">https://www.idref.fr/133608859</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=vE7M2zoAAAAJ</idno>
                  <affiliation ref="#struct-25799"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Matthias</forename>
                    <surname>Zytnicki</surname>
                  </persName>
                  <email type="md5">69d92045fbd6ea2706b30ab1a83c52ac</email>
                  <email type="domain">inrae.fr</email>
                  <idno type="idhal" notation="string">matthias-zytnicki</idno>
                  <idno type="idhal" notation="numeric">748132</idno>
                  <idno type="halauthorid" notation="string">49878-748132</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4895-8731</idno>
                  <affiliation ref="#struct-104665"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Javier</forename>
                    <surname>Larrosa</surname>
                  </persName>
                  <email type="md5">ec13b1b5af9d940fa2c43e8ad6eeb5d6</email>
                  <email type="domain">lsi.upc.es</email>
                  <idno type="idhal" notation="numeric">1072158</idno>
                  <idno type="halauthorid" notation="string">105613-1072158</idno>
                  <affiliation ref="#struct-85878"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>IJCAI 2005 - International Joint Conference on Artificial Intelligence</title>
                  <date type="start">2005-07-30</date>
                  <date type="end">2005-08-05</date>
                  <settlement>Edimbourg</settlement>
                  <country key="GB">United Kingdom</country>
                </meeting>
                <imprint>
                  <publisher>Morgan Kaufmann</publisher>
                  <pubPlace>San Fransisco (united states)</pubPlace>
                  <biblScope unit="serie">IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence</biblScope>
                  <date type="datePub">2005</date>
                </imprint>
              </monogr>
              <idno type="prodinra">266025</idno>
              <ref target="https://archives-publications.inrae.fr/266025.pdf" type="seeAlso"/>
              <ref type="publisher">https://archives-publications.inrae.fr/266025.pdf</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">optimisation combinatoire</term>
              </keywords>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <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>The weighted CSP framework is a soft constraint framework with a wide range of applications. Most current state-of-the-art complete solvers can be described as a basic depth-first branch and bound search that maintain some form of arc consistency during the search. In this paper we introduce a new stronger form of arc consistency, that we call existential directional arc consistency and we provide an algorithm to enforce it. The efficiency of the algorithm is empirically demonstrated in a variety of domains.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regroupinstitution" xml:id="struct-85878" status="VALID">
          <idno type="ROR">https://ror.org/03mb6wj31</idno>
          <orgName>Universitat Politècnica de Catalunya =  Université polytechnique de Catalogne = Polytechnic University of Catalunya [Barcelona]</orgName>
          <orgName type="acronym">UPC</orgName>
          <desc>
            <address>
              <addrLine>C./Jordi Girona, 1-3, 08034 Barcelona</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">https://www.upc.edu/ca</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-25799" status="OLD">
          <orgName>Unité de Biométrie et Intelligence Artificielle (ancêtre de MIAT)</orgName>
          <orgName type="acronym">UBIA</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2012-12-31</date>
          <desc>
            <address>
              <addrLine>Centre Inra de Toulouse Midi-Pyrénées Chemin de Borde-Rouge-Auzeville BP 52627 F-31326 Castanet-Tolosan cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://mia.toulouse.inra.fr/index.php?id=202</ref>
          </desc>
          <listRelation>
            <relation name="UR0875" active="#struct-92114" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-104665" status="OLD">
          <orgName>Unité de Recherche Génomique Info</orgName>
          <orgName type="acronym">URGI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>INRA, Centre de recherche de Versailles, bat.18 Route de Saint Cyr 78000 Versailles</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://urgi.versailles.inra.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UR1164" active="#struct-92114" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92114" status="OLD">
          <idno type="ROR">https://ror.org/01x3gbx83</idno>
          <orgName>Institut National de la Recherche Agronomique</orgName>
          <orgName type="acronym">INRA</orgName>
          <date type="start">1946-05-18</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inra.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>