<?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-01897930</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-03T21:10:42+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Reactive Strategy for High-Level Consistency During Search</title>
            <author role="aut">
              <persName>
                <forename type="first">Robert J.</forename>
                <surname>Woodward</surname>
              </persName>
              <idno type="halauthorid">527400-0</idno>
              <affiliation ref="#struct-141115"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Berthe Y.</forename>
                <surname>Choueiry</surname>
              </persName>
              <idno type="halauthorid">527402-0</idno>
              <affiliation ref="#struct-141115"/>
            </author>
            <author role="aut">
              <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>
            <editor role="depositor">
              <persName>
                <forename>Christian</forename>
                <surname>Bessiere</surname>
              </persName>
              <email type="md5">3f7535cc0c0a93bc7544bc4427bffe42</email>
              <email type="domain">lirmm.fr</email>
            </editor>
            <funder ref="#projanr-42363"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-10-17 17:27:49</date>
              <date type="whenModified">2023-07-05 17:04:59</date>
              <date type="whenReleased">2018-10-17 19:45:25</date>
              <date type="whenProduced">2018-07-13</date>
              <date type="whenEndEmbargoed">2018-10-17</date>
              <ref type="file" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-01897930v1/document">
                <date notBefore="2018-10-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-01897930v1/file/0193.pdf" id="file-1897930-1928221">
                <date notBefore="2018-10-17"/>
              </ref>
              <ref type="externalLink" target="https://www.ijcai.org/proceedings/2018/0193.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="113856">
                <persName>
                  <forename>Christian</forename>
                  <surname>Bessiere</surname>
                </persName>
                <email type="md5">3f7535cc0c0a93bc7544bc4427bffe42</email>
                <email type="domain">lirmm.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-01897930</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-01897930</idno>
            <idno type="halBibtex">woodward:lirmm-01897930</idno>
            <idno type="halRefHtml">&lt;i&gt;IJCAI: International Joint Conference on Artificial Intelligence&lt;/i&gt;, Jul 2018, Stockholm, Sweden. pp.1390-1397, &lt;a target="_blank" href="https://dx.doi.org/10.24963/ijcai.2018/193"&gt;&amp;#x27E8;10.24963/ijcai.2018/193&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">IJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1390-1397, &amp;#x27E8;10.24963/ijcai.2018/193&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1897930-1928221"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</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="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</idno>
            <idno type="stamp" n="IA">Intelligence Artificielle</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 Reactive Strategy for High-Level Consistency During Search</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Robert J.</forename>
                    <surname>Woodward</surname>
                  </persName>
                  <idno type="halauthorid">527400-0</idno>
                  <affiliation ref="#struct-141115"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Berthe Y.</forename>
                    <surname>Choueiry</surname>
                  </persName>
                  <idno type="halauthorid">527402-0</idno>
                  <affiliation ref="#struct-141115"/>
                </author>
                <author role="aut">
                  <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>
              </analytic>
              <monogr>
                <title level="m">27th International Joint Conference on Artificial Intelligence</title>
                <meeting>
                  <title>IJCAI: International Joint Conference on Artificial Intelligence</title>
                  <date type="start">2018-07-13</date>
                  <date type="end">2018-07-19</date>
                  <settlement>Stockholm</settlement>
                  <country key="SE">Sweden</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">1390-1397</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.24963/ijcai.2018/193</idno>
              <ref type="publisher">https://www.ijcai-18.org</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Constraint Satisfaction</term>
                <term xml:lang="en">Solvers and Tools</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>Constraint propagation during backtrack search significantly improves the performance of solving a Constraint Satisfaction Problem. While Generalized Arc Consistency (GAC) is the most popular level of propagation, higher-level consistencies (HLC) are needed to solve difficult instances. Deciding to enforce an HLC instead of GAC remains the topic of active research. We propose a simple and effective strategy that reactively triggers an HLC by monitoring search performance: When search starts thrashing, we trigger an HLC, then conservatively revert to GAC. We detect thrashing by counting the number of backtracks at each level of the search tree and geometrically adjust the frequency of triggering an HLC based on its filtering effectiveness. We validate our approach on benchmark problems using Partition-One Arc-Consistency as an HLC. However, our strategy is generic and can be used with other higher-level consistency algorithms.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-141115" status="VALID">
          <orgName>Constraint Systems Laboratory</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-312624" type="direct"/>
            <relation active="#struct-566542" type="indirect"/>
          </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-312624" status="VALID">
          <idno type="ROR">https://ror.org/043mer456</idno>
          <orgName>University of Nebraska–Lincoln</orgName>
          <desc>
            <address>
              <addrLine>1400 R St, Lincoln, Nebraska 68508, USA</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://unl.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-566542" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-566542" status="VALID">
          <orgName>University of Nebraska System</orgName>
          <desc>
            <address>
              <addrLine>Nebraska, USA</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://nebraska.edu/</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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-42363" status="VALID">
          <idno type="anr">ANR-16-CE40-0028</idno>
          <orgName>DE-MO-GRAPH</orgName>
          <desc>Décomposition de Modèles Graphiques</desc>
          <date type="start">2016</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>