<?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-01217173</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-20T12:01:26+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 CSPs : carte de complexité des MDDs non-déterministes</title>
            <author role="aut">
              <persName>
                <forename type="first">Jérôme</forename>
                <surname>Amilhastre</surname>
              </persName>
              <idno type="halauthorid">957732-0</idno>
              <affiliation ref="#struct-439577"/>
            </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"/>
            </author>
            <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">Cédric</forename>
                <surname>Pralet</surname>
              </persName>
              <idno type="halauthorid">209189-0</idno>
              <affiliation ref="#struct-252057"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Open Archive Toulouse Archive Ouverte</forename>
                <surname>(OATAO)</surname>
              </persName>
              <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
              <email type="domain">listes-diff.inp-toulouse.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-10-19 10:47:14</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2015-10-21 11:11:08</date>
              <date type="whenProduced">2013-06-12</date>
              <date type="whenEndEmbargoed">2015-10-20</date>
              <ref type="file" target="https://hal.science/hal-01217173v1/document">
                <date notBefore="2015-10-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01217173v1/file/amilhastre_12767.pdf" id="file-1217173-1296785">
                <date notBefore="2015-10-20"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="146910">
                <persName>
                  <forename>Open Archive Toulouse Archive Ouverte</forename>
                  <surname>(OATAO)</surname>
                </persName>
                <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
                <email type="domain">listes-diff.inp-toulouse.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01217173</idno>
            <idno type="halUri">https://hal.science/hal-01217173</idno>
            <idno type="halBibtex">amilhastre:hal-01217173</idno>
            <idno type="halRefHtml">&lt;i&gt;Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013)&lt;/i&gt;, Laboratoire des Sciences de l’Information et des Syst`emes (LSIS); Laboratoire d’Informatique Fondamentale de Marseille (LIF); AFPC : Association Française pour la Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.21-30</idno>
            <idno type="halRef">Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Laboratoire des Sciences de l’Information et des Syst`emes (LSIS); Laboratoire d’Informatique Fondamentale de Marseille (LIF); AFPC : Association Française pour la Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.21-30</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1217173-1296785"/></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="JFPC2013">JFPC 2013 - Neuviè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 CSPs : carte de complexité des MDDs non-déterministes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jérôme</forename>
                    <surname>Amilhastre</surname>
                  </persName>
                  <idno type="halauthorid">957732-0</idno>
                  <affiliation ref="#struct-439577"/>
                </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"/>
                </author>
                <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">Cédric</forename>
                    <surname>Pralet</surname>
                  </persName>
                  <idno type="halauthorid">209189-0</idno>
                  <affiliation ref="#struct-252057"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013)</title>
                  <date type="start">2013-06-12</date>
                  <date type="end">2013-06-14</date>
                  <settlement>Aix-en-Provence</settlement>
                  <country key="FR">France</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>Laboratoire des Sciences de l’Information et des Syst`emes (LSIS)</name>
                  <name>Laboratoire d’Informatique Fondamentale de Marseille (LIF)</name>
                  <name>AFPC : Association Française pour la Programmation par Contraintes</name>
                </respStmt>
                <imprint>
                  <biblScope unit="pp">21-30</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <ref target="http://www.lsis.org/jfpc-jiaf2013/jfpc/documents/Actes.pdf" type="seeAlso"/>
              <ref type="publisher">http://www.lsis.org/jfpc-jiaf2013/jfpc/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">Logique</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-lg">Computer Science [cs]/Machine Learning [cs.LG]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</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>Les CSPs fournissent un cadre puissant pour la représentation  de problèmes  très  divers. La difficulté  est que  la plupart des  requêtes  associées  aux CSPs sont NP-difficiles, mais doivent dans certains contextes être traitées « en ligne ». C’est pour cette raison que les diagrammes  de décision multivalués (MDDs) ont été proposés pour la compilation de CSPs. Cet article dresse une carte de compilation des MDDs, dans l’esprit de la carte de la famille des NNFs de Darwiche  et Marquis, en analysant les MDDs selon leur compacité et les requêtes et transformations qu’ils supportent  en temps  polynomial. Les  MDDs déterministes et ordonnés généralisant les diagrammes de décision binaire ordonnes à des variables  non-booléennes, le fait que leurs propriétés soient similaires n’est pas surprenant. Cependant,  notre étude met  en avant  l’intérêt des MDDs ordonnes non déterministes  : restreint aux variables booléennes,  ce  fragment  est  strictement plus compact que ceux des OBDDs et des DNFs, et admet des performances  proches de celles des DNNFs. La comparaison aux MDDs classiques montre que relâcher la contrainte du déterminisme améliore la compacité et permet a plus de transformations d’être supportées en temps polynomial. Des  expériences  sur  des problèmes aléatoires confirment le gain en compacité.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-439577" status="INCOMING">
          <orgName>Caméléon Software, Labège</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </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="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="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="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="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="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-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="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>