<?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 lirmm-01228369</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-07T02:24:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Maintaining Virtual Arc Consistency Dynamically during Search</title>
            <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">Thomas</forename>
                <surname>Schiex</surname>
              </persName>
              <email type="md5">5099f50b8e39582a8eab7f7ac4528cbf</email>
              <email type="domain">inrae.fr</email>
              <idno type="idhal" notation="string">thomas-schiex</idno>
              <idno type="idhal" notation="numeric">734846</idno>
              <idno type="halauthorid" notation="string">416-734846</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6049-3415</idno>
              <idno type="IDREF">https://www.idref.fr/057033935</idno>
              <idno type="VIAF">https://viaf.org/viaf/19810095</idno>
              <idno type="ISNI">http://isni.org/isni/0000000001674841</idno>
              <affiliation ref="#struct-244474"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Christian</forename>
                <surname>Bessiere</surname>
              </persName>
              <email type="md5">061c0d3b48e1c17eacf66f18fd679fb3</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">christian-bessiere</idno>
              <idno type="idhal" notation="numeric">6244</idno>
              <idno type="halauthorid" notation="string">2756544-6244</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4059-6403</idno>
              <idno type="IDREF">https://www.idref.fr/070947155</idno>
              <affiliation ref="#struct-388684"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thi Hông Hiêp</forename>
                <surname>Nguyên</surname>
              </persName>
              <idno type="halauthorid">1947681-0</idno>
              <affiliation ref="#struct-244474"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Joël</forename>
                <surname>Quinqueton</surname>
              </persName>
              <email type="md5">cd2d7b40caa222f44a2461a17934ac3f</email>
              <email type="domain">lirmm.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-11-13 08:57:19</date>
              <date type="whenWritten">2014</date>
              <date type="whenModified">2025-03-21 15:12:17</date>
              <date type="whenReleased">2015-11-13 17:01:40</date>
              <date type="whenProduced">2014-11-10</date>
              <date type="whenEndEmbargoed">2015-11-13</date>
              <ref type="file" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-01228369v1/document">
                <date notBefore="2015-11-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-01228369v1/file/Hiep14.pdf" id="file-1228369-1307465">
                <date notBefore="2015-11-13"/>
              </ref>
              <ref type="externalLink" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-01228369/file/Hiep14.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="111809">
                <persName>
                  <forename>Joël</forename>
                  <surname>Quinqueton</surname>
                </persName>
                <email type="md5">cd2d7b40caa222f44a2461a17934ac3f</email>
                <email type="domain">lirmm.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-01228369</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-01228369</idno>
            <idno type="halBibtex">degivry:lirmm-01228369</idno>
            <idno type="halRefHtml">&lt;i&gt;ICTAI: International Conference on Tools with Artificial Intelligence&lt;/i&gt;, Nov 2014, Limassol, Cyprus. pp.8-15, &lt;a target="_blank" href="https://dx.doi.org/10.1109/ICTAI.2014.13"&gt;&amp;#x27E8;10.1109/ICTAI.2014.13&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.8-15, &amp;#x27E8;10.1109/ICTAI.2014.13&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1228369-1307465"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRA">INRA - Institut national de la recherche agronomique</idno>
            <idno type="stamp" n="COCONUT" corresp="LIRMM">Agents, Apprentissage, Contraintes</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="AGREENIUM">Archive ouverte en agrobiosciences</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="INRAE">Institut National de Recherche en Agriculture, Alimentation et Environnement</idno>
            <idno type="stamp" n="INRAEOCCITANIETOULOUSE" corresp="INRAE">INRAE Occitanie Toulouse</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</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="IA">Intelligence Artificielle</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>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Maintaining Virtual Arc Consistency Dynamically during Search</title>
                <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">Thomas</forename>
                    <surname>Schiex</surname>
                  </persName>
                  <email type="md5">5099f50b8e39582a8eab7f7ac4528cbf</email>
                  <email type="domain">inrae.fr</email>
                  <idno type="idhal" notation="string">thomas-schiex</idno>
                  <idno type="idhal" notation="numeric">734846</idno>
                  <idno type="halauthorid" notation="string">416-734846</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6049-3415</idno>
                  <idno type="IDREF">https://www.idref.fr/057033935</idno>
                  <idno type="VIAF">https://viaf.org/viaf/19810095</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000001674841</idno>
                  <affiliation ref="#struct-244474"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Christian</forename>
                    <surname>Bessiere</surname>
                  </persName>
                  <email type="md5">061c0d3b48e1c17eacf66f18fd679fb3</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">christian-bessiere</idno>
                  <idno type="idhal" notation="numeric">6244</idno>
                  <idno type="halauthorid" notation="string">2756544-6244</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4059-6403</idno>
                  <idno type="IDREF">https://www.idref.fr/070947155</idno>
                  <affiliation ref="#struct-388684"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thi Hông Hiêp</forename>
                    <surname>Nguyên</surname>
                  </persName>
                  <idno type="halauthorid">1947681-0</idno>
                  <affiliation ref="#struct-244474"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">26th International Conference on Tools with Artificial Intelligence</title>
                <meeting>
                  <title>ICTAI: International Conference on Tools with Artificial Intelligence</title>
                  <date type="start">2014-11-10</date>
                  <date type="end">2014-11-12</date>
                  <settlement>Limassol</settlement>
                  <country key="CY">Cyprus</country>
                </meeting>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="pp">8-15</biblScope>
                  <date type="datePub">2014</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/ICTAI.2014.13</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Virtual arc consistency</term>
                <term xml:lang="en">Dynamic arc consistency</term>
                <term xml:lang="en">Arc consistency</term>
                <term xml:lang="en">Cost Function Networks</term>
                <term xml:lang="en">Weighted CSP</term>
              </keywords>
              <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>Virtual Arc Consistency (VAC) is a recent local consistency for processing cost function networks (aka weighted constraint networks) that exploits a simple but powerful connection with standard constraint networks. It has allowed to close hard frequency assignment benchmarks and is capable of directly solving networks of submodular functions. The algorithm enforcing VAC is an iterative algorithm that solves a sequence of standard constraint networks. This algorithm has been improved by exploiting the idea of dynamic arc consistency between each iteration, leading to the dynamic VAC algorithm. When VAC is maintained during search, the difference between two adjacent nodes in the search tree is also limited. In this paper, we show that the incrementality of Dynamic VAC can also be useful when maintaining VAC during search and we present results showing that maintaining dynamic VAC during search can effectively accelerate search.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <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-244474" status="OLD">
          <orgName>Unité de Mathématiques et Informatique Appliquées de Toulouse</orgName>
          <orgName type="acronym">MIAT INRA</orgName>
          <date type="start">2013-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Chemin de Borde Rouge, 31320 Castanet Tolosan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://carlit.toulouse.inra.fr/wikiz/index.php/Accueil</ref>
          </desc>
          <listRelation>
            <relation name="UR0875" active="#struct-92114" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-388684" status="OLD">
          <orgName>Agents, Apprentissage, Contraintes</orgName>
          <orgName type="acronym">COCONUT</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/COCONUT/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </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>
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.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>
      </listOrg>
    </back>
  </text>
</TEI>