<?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-00811474</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-03T09:11:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Compilation de CSP en Set-labeled Diagram</title>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Niveau</surname>
              </persName>
              <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">alexandre-niveau</idno>
              <idno type="idhal" notation="numeric">14951</idno>
              <idno type="halauthorid" notation="string">26608-14951</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5307-6290</idno>
              <idno type="IDREF">https://www.idref.fr/168950375</idno>
              <affiliation ref="#struct-90448"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hélène</forename>
                <surname>Fargier</surname>
              </persName>
              <email type="md5">83679e35ad8f396785093c18d34b8cf1</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">helene-fargier</idno>
              <idno type="idhal" notation="numeric">734843</idno>
              <idno type="halauthorid" notation="string">40148-734843</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1616-5961</idno>
              <idno type="IDREF">https://www.idref.fr/119250217</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-392282"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Cédric</forename>
                <surname>Pralet</surname>
              </persName>
              <email type="md5">8cdc489ea74eec51eee5b54ab6606888</email>
              <email type="domain">onera.fr</email>
              <idno type="idhal" notation="numeric">840402</idno>
              <idno type="halauthorid" notation="string">209189-840402</idno>
              <affiliation ref="#struct-252057"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alexandre</forename>
                <surname>Niveau</surname>
              </persName>
              <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
              <email type="domain">unicaen.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-04-10 13:53:03</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2013-04-10 14:33:17</date>
              <date type="whenProduced">2012-05-22</date>
              <date type="whenEndEmbargoed">2013-04-10</date>
              <ref type="file" target="https://inria.hal.science/hal-00811474v1/document">
                <date notBefore="2013-04-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00811474v1/file/NiveauFargierPralet_JFPC2012.pdf" id="file-811474-137969">
                <date notBefore="2013-04-10"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="178238">
                <persName>
                  <forename>Alexandre</forename>
                  <surname>Niveau</surname>
                </persName>
                <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00811474</idno>
            <idno type="halUri">https://inria.hal.science/hal-00811474</idno>
            <idno type="halBibtex">niveau:hal-00811474</idno>
            <idno type="halRefHtml">&lt;i&gt;8èmes Journées Francophones sur la Programmation par Contraintes (JFPC 2012)&lt;/i&gt;, LAAS, Toulouse; Association francaise de programmation par contraintes, May 2012, Toulouse, France. pp.244-253</idno>
            <idno type="halRef">8èmes Journées Francophones sur la Programmation par Contraintes (JFPC 2012), LAAS, Toulouse; Association francaise de programmation par contraintes, May 2012, Toulouse, France. pp.244-253</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-811474-137969"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ARTOIS">Université d'Artois</idno>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="ONERA">ONERA - Office National d'Études et de Recherches Aérospatiales</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="JFPC2012">JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="ONERA-MIP" corresp="ONERA">ONERA Midi-Pyrénées</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-ADRIA" corresp="IRIT">Argumentation, Décision, Raisonnement, Incertitude et Apprentissage </idno>
            <idno type="stamp" n="IRIT-IA" corresp="IRIT">Intelligence Artificielle</idno>
            <idno type="stamp" n="IRIT-CNRS">IRIT - Centre National de la Recherche Scientifique</idno>
            <idno type="stamp" n="CRIL" corresp="UNIV-ARTOIS">Centre de recherche en informatique de Lens</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</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="fr">Compilation de CSP en Set-labeled Diagram</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Niveau</surname>
                  </persName>
                  <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">alexandre-niveau</idno>
                  <idno type="idhal" notation="numeric">14951</idno>
                  <idno type="halauthorid" notation="string">26608-14951</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5307-6290</idno>
                  <idno type="IDREF">https://www.idref.fr/168950375</idno>
                  <affiliation ref="#struct-90448"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hélène</forename>
                    <surname>Fargier</surname>
                  </persName>
                  <email type="md5">83679e35ad8f396785093c18d34b8cf1</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">helene-fargier</idno>
                  <idno type="idhal" notation="numeric">734843</idno>
                  <idno type="halauthorid" notation="string">40148-734843</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1616-5961</idno>
                  <idno type="IDREF">https://www.idref.fr/119250217</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-392282"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Cédric</forename>
                    <surname>Pralet</surname>
                  </persName>
                  <email type="md5">8cdc489ea74eec51eee5b54ab6606888</email>
                  <email type="domain">onera.fr</email>
                  <idno type="idhal" notation="numeric">840402</idno>
                  <idno type="halauthorid" notation="string">209189-840402</idno>
                  <affiliation ref="#struct-252057"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Actes JFPC 2012</title>
                <meeting>
                  <title>8èmes Journées Francophones sur la Programmation par Contraintes (JFPC 2012)</title>
                  <date type="start">2012-05-22</date>
                  <date type="end">2012-05-24</date>
                  <settlement>Toulouse</settlement>
                  <country key="FR">France</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>LAAS, Toulouse</name>
                  <name>Association francaise de programmation par contraintes</name>
                </respStmt>
                <imprint>
                  <biblScope unit="pp">244-253</biblScope>
                  <date type="datePub">2012-05</date>
                </imprint>
              </monogr>
              <ref target="https://conf.laas.fr/jfpc-jiaf2012/jfpc/index.html" type="seeAlso"/>
              <ref type="publisher">https://conf.laas.fr/jfpc-jiaf2012/jfpc/ActesJFPC2012cover.pdf</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</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="fr">
              <p>La plupart des requêtes associées aux CSPs sont NP-difficiles, et doivent pourtant parfois être exécutées en ligne et en temps limité. Dans ce cas, la résolution du CSP n'est pas assez efficace, voire impossible. Des structures ont été proposées, tels les MDDs, pour compiler les CSPs et rendre leur exploitation en ligne efficace. Les MDDs sont des DAGs orientés dont chaque nœud représente l'assignation d'une variable ; l'ensemble des solutions d'un CSP correspond à l'ensemble des chemins du MDD correspondant. Dans cet article, nous étudions la relaxation de deux restrictions usuellement imposées aux MDDs, l'ordonnancement et la non-répétition des variables, introduisant une structure de compilation nommée " set-labeled diagrams " (SDs). Un CSP peut être compilé en SD en suivant la trace de l'arbre de recherche exploré par un solveur de CSP. L'impact des restrictions susnommées peut être étudié en faisant varier les heuristiques utilisées par le solveur lors de la résolution.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-90448" status="VALID">
          <idno type="IdRef">08345585X</idno>
          <idno type="RNSR">200812835W</idno>
          <orgName>Centre de Recherche en Informatique de Lens</orgName>
          <orgName type="acronym">CRIL</orgName>
          <date type="start">2008-01-01</date>
          <desc>
            <address>
              <addrLine>Faculté Jean Perrin Rue Jean Souvraz - SP 18 - 62307 LENS CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cril.univ-artois.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR8188" active="#struct-56711" type="direct"/>
            <relation name="UMR8188" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-392282" status="OLD">
          <orgName>Argumentation, Décision, Raisonnement, Incertitude et Apprentissage</orgName>
          <orgName type="acronym">IRIT-ADRIA</orgName>
          <date type="start">1976-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>Institut de recherche en informatique de Toulouse - IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irit.fr/departement/intelligence-artificielle/adria/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </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="laboratory" xml:id="struct-252057" status="OLD">
          <orgName>ONERA - The French Aerospace Lab [Toulouse]</orgName>
          <date type="end">2018-03-18</date>
          <desc>
            <address>
              <addrLine>F-31055 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.onera.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300024" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-56711" status="VALID">
          <idno type="IdRef">034634894</idno>
          <idno type="ISNI">000000012364777X</idno>
          <idno type="ROR">https://ror.org/053x9s498</idno>
          <orgName>Université d'Artois</orgName>
          <orgName type="acronym">UA</orgName>
          <date type="start">1992-09-01</date>
          <desc>
            <address>
              <addrLine>9 rue du Temple - BP 10665 - 62030 Arras cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-artois.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300024" status="VALID">
          <idno type="ROR">https://ror.org/005y2ap84</idno>
          <orgName>ONERA</orgName>
          <desc>
            <address>
              <addrLine>Office National d’Études et de Recherches Aéronautiques29, avenue de la Division Leclerc - BP 72 - 92322 CHATILLON CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.onera.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>