<?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-01375395</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-20T07:25:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Sur une classe polynomiale relationnelle pour les CSP binaires</title>
            <author role="aut">
              <persName>
                <forename type="first">Wafa</forename>
                <surname>Jguirim</surname>
              </persName>
              <idno type="halauthorid">1064845-0</idno>
              <affiliation ref="#struct-302159"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Wady</forename>
                <surname>Naanaa</surname>
              </persName>
              <idno type="halauthorid">32734-0</idno>
              <affiliation ref="#struct-302159"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Martin</forename>
                <surname>Cooper</surname>
              </persName>
              <email type="md5">e54bdaa72c7e702d998ade2e285d61de</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">martin-cooper</idno>
              <idno type="idhal" notation="numeric">734844</idno>
              <idno type="halauthorid" notation="string">14020-734844</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4853-053X</idno>
              <idno type="IDREF">https://www.idref.fr/176335234</idno>
              <idno type="IDREF">https://www.idref.fr/200690760</idno>
              <orgName ref="#struct-217752"/>
              <affiliation ref="#struct-392282"/>
              <affiliation ref="#struct-217752"/>
            </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">2016-10-03 10:39:32</date>
              <date type="whenModified">2026-01-12 13:00:03</date>
              <date type="whenReleased">2016-10-04 16:53:02</date>
              <date type="whenProduced">2015-06-22</date>
              <date type="whenEndEmbargoed">2016-10-03</date>
              <ref type="file" target="https://hal.science/hal-01375395v1/document">
                <date notBefore="2016-10-03"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01375395v1/file/jguirim_15302.pdf" id="file-1375395-1455481">
                <date notBefore="2016-10-03"/>
              </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-01375395</idno>
            <idno type="halUri">https://hal.science/hal-01375395</idno>
            <idno type="halBibtex">jguirim:hal-01375395</idno>
            <idno type="halRefHtml">&lt;i&gt;11eme Journees Francophones de Programmation par Contraintes (JFPC 2015)&lt;/i&gt;, Jun 2015, Bordeaux, France. pp. 130-139</idno>
            <idno type="halRef">11eme Journees Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp. 130-139</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1375395-1455481"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</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-UT3">IRIT - Université Toulouse III Paul Sabatier</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="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="fr">Sur une classe polynomiale relationnelle pour les CSP binaires</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Wafa</forename>
                    <surname>Jguirim</surname>
                  </persName>
                  <idno type="halauthorid">1064845-0</idno>
                  <affiliation ref="#struct-302159"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Wady</forename>
                    <surname>Naanaa</surname>
                  </persName>
                  <idno type="halauthorid">32734-0</idno>
                  <affiliation ref="#struct-302159"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Martin</forename>
                    <surname>Cooper</surname>
                  </persName>
                  <email type="md5">e54bdaa72c7e702d998ade2e285d61de</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">martin-cooper</idno>
                  <idno type="idhal" notation="numeric">734844</idno>
                  <idno type="halauthorid" notation="string">14020-734844</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4853-053X</idno>
                  <idno type="IDREF">https://www.idref.fr/176335234</idno>
                  <idno type="IDREF">https://www.idref.fr/200690760</idno>
                  <orgName ref="#struct-217752"/>
                  <affiliation ref="#struct-392282"/>
                  <affiliation ref="#struct-217752"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Actes des 11ème Journées Francophones de Programmation par Contraintes</title>
                <meeting>
                  <title>11eme Journees Francophones de Programmation par Contraintes (JFPC 2015)</title>
                  <date type="start">2015-06-22</date>
                  <date type="end">2015-06-24</date>
                  <settlement>Bordeaux</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">pp. 130-139</biblScope>
                  <date type="datePub">2015-06</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">Polymorphisme majorité</term>
                <term xml:lang="fr">Classe traitable</term>
                <term xml:lang="fr">Satisfaction de contraintes</term>
                <term xml:lang="fr">CSP</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>Trouver une solution  à un probl ème de satisfaction  de contraintes est en g én éral un probl ème NP-diffi cile.  Ainsi, identifier une nouvelle classe polynomiale de CSP,  en d'autres termes, une classe de probl èmes de satisfaction de contraintes pour lesquelles il existe une m éthode de réconnaissance et de r ésolution de complexit é  polynomiale, constitue un axe de recherche fondamental  dans l' étude des CSPs. Dans cet article, nous pr ésentons une nouvelle classe polynomiale relationnelle pour  les CSPs binaires. Tout d'abord nous pr ésentons un nouvel op érateur ternaire que nous avons appel é mjx. Nous  d écrivons ensuite les relations ferm ées par cet op érateur  en proposant un algorithme d'identification de ces relations. Afin de r éduire la complexit é spatiale et temporelle des traitements, nous d éfinissons une nouvelle m éthode de stockage de ces relations qui permet de r éduire la complexit é de chemin consistance, ce dernier niveau de  consistance  étant suffi sant pour r ésoudre les instances  de la classe propos ée.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regroupinstitution" xml:id="struct-302159" status="VALID">
          <idno type="IdRef">139267263</idno>
          <idno type="ISNI">0000 0004 0593 5040</idno>
          <idno type="ROR">https://ror.org/00nhtcg76</idno>
          <idno type="Wikidata">Q3551637</idno>
          <orgName>Université de Monastir - University of Monastir - جامعة المنستير</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="start">2004-01-01</date>
          <desc>
            <address>
              <addrLine>BP 56 Avenue Taher Hadded، Monastir 5000</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.um.rnu.tn/</ref>
          </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="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="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="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>
      </listOrg>
    </back>
  </text>
</TEI>