<?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-00753742</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-16T09:15:42+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">The Ordered Distribute Constraint</title>
            <author role="aut">
              <persName>
                <forename type="first">Thierry</forename>
                <surname>Petit</surname>
              </persName>
              <email type="md5">ec435ad41353f3755e86d5ce48350369</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">thierry-petit</idno>
              <idno type="idhal" notation="numeric">1384</idno>
              <idno type="halauthorid" notation="string">11290-1384</idno>
              <idno type="IDREF">https://www.idref.fr/070946841</idno>
              <affiliation ref="#struct-154700"/>
              <affiliation ref="#struct-95421"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Charles</forename>
                <surname>Régin</surname>
              </persName>
              <email type="md5">402a6dd151787142e7ab202e8eb14d9b</email>
              <email type="domain">ilog.fr</email>
              <idno type="idhal" notation="string">jean-charles-regin</idno>
              <idno type="idhal" notation="numeric">9025</idno>
              <idno type="halauthorid" notation="string">10231-9025</idno>
              <idno type="IDREF">https://www.idref.fr/070947384</idno>
              <affiliation ref="#struct-59922"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Thierry</forename>
                <surname>Petit</surname>
              </persName>
              <email type="md5">ec435ad41353f3755e86d5ce48350369</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2012-11-26 14:43:26</date>
              <date type="whenModified">2025-10-07 15:32:02</date>
              <date type="whenReleased">2012-11-26 16:27:56</date>
              <date type="whenProduced">2011</date>
              <date type="whenEndEmbargoed">2012-11-26</date>
              <ref type="file" target="https://inria.hal.science/hal-00753742v1/document">
                <date notBefore="2012-11-26"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00753742v1/file/IJAITPetitRegin.pdf" id="file-753742-556128">
                <date notBefore="2012-11-26"/>
              </ref>
              <ref type="externalLink" target="http://hal.inria.fr/docs/00/75/37/42/PDF/IJAITPetitRegin.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="142915">
                <persName>
                  <forename>Thierry</forename>
                  <surname>Petit</surname>
                </persName>
                <email type="md5">ec435ad41353f3755e86d5ce48350369</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00753742</idno>
            <idno type="halUri">https://inria.hal.science/hal-00753742</idno>
            <idno type="halBibtex">petit:hal-00753742</idno>
            <idno type="halRefHtml">&lt;i&gt;International Journal on Artificial Intelligence Tools&lt;/i&gt;, 2011, 20 (4), pp.617-637. &lt;a target="_blank" href="https://dx.doi.org/10.1142/S0218213011000371"&gt;&amp;#x27E8;10.1142/S0218213011000371&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">International Journal on Artificial Intelligence Tools, 2011, 20 (4), pp.617-637. &amp;#x27E8;10.1142/S0218213011000371&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-753742-556128"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNICE">Université Nice Sophia Antipolis</idno>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="MINES-NANTES">Ecole des Mines de Nantes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="LINA" corresp="UNIV-NANTES">Laboratoire d'Informatique de Nantes Atlantique</idno>
            <idno type="stamp" n="I3S">Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis</idno>
            <idno type="stamp" n="LINA-TASC" corresp="LINA">LINA - TASC</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INFO" corresp="MINES-NANTES">Département informatique</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="LS2N-TASC-IMTA">Equipe Tasc</idno>
            <idno type="stamp" n="IMTA_DAPI">IMT Atlantique - Département automatique, productique et informatique</idno>
            <idno type="stamp" n="LS2N-IMTA">LS2N - IMT Atlantique</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="IMT-ATLANTIQUE" corresp="INSTITUT-MINES-TELECOM">IMT-ATLANTIQUE</idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="TEST-NICE">test nice</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">The Ordered Distribute Constraint</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Thierry</forename>
                    <surname>Petit</surname>
                  </persName>
                  <email type="md5">ec435ad41353f3755e86d5ce48350369</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">thierry-petit</idno>
                  <idno type="idhal" notation="numeric">1384</idno>
                  <idno type="halauthorid" notation="string">11290-1384</idno>
                  <idno type="IDREF">https://www.idref.fr/070946841</idno>
                  <affiliation ref="#struct-154700"/>
                  <affiliation ref="#struct-95421"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Charles</forename>
                    <surname>Régin</surname>
                  </persName>
                  <email type="md5">402a6dd151787142e7ab202e8eb14d9b</email>
                  <email type="domain">ilog.fr</email>
                  <idno type="idhal" notation="string">jean-charles-regin</idno>
                  <idno type="idhal" notation="numeric">9025</idno>
                  <idno type="halauthorid" notation="string">10231-9025</idno>
                  <idno type="IDREF">https://www.idref.fr/070947384</idno>
                  <affiliation ref="#struct-59922"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">14343</idno>
                <idno type="issn">0218-2130</idno>
                <title level="j">International Journal on Artificial Intelligence Tools</title>
                <imprint>
                  <publisher>World Scientific Publishing</publisher>
                  <biblScope unit="volume">20</biblScope>
                  <biblScope unit="issue">4</biblScope>
                  <biblScope unit="pp">617-637</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1142/S0218213011000371</idno>
              <ref type="publisher">http://www.worldscientific.com/doi/pdf/10.1142/S0218213011000371</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-ro">Computer Science [cs]/Operations Research [math.OC]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper we introduce a new cardinality constraint: Ordered Distribute. Given a set of variables, this constraint limits for each value v the number of times v or any value greater than v is taken. It extends the global cardinality constraint, that constrains only the number of times a value v is taken by a set of variables and does not consider at the same time the occurrences of all the values greater than v. We design an algorithm for achieving generalized arc-consistency on Ordered Distribute, with a time complexity linear in the sum of the number of variables and the number of values in the union of their domains. In addition, we give some experiments showing the advantage of this new constraint for problems where values represent levels whose overrunning has to be under control. Finally, we present three extensions of our constraint that can be particularly useful in practice.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-154700" status="OLD">
          <idno type="RNSR">201120985S</idno>
          <orgName>Theory, Algorithms and Systems for Constraints</orgName>
          <orgName type="acronym">TASC</orgName>
          <desc>
            <address>
              <addrLine>École des Mines de NantesDépartement Informatique4 rue Alfred Kastler, BP 2072244307 Nantes Cedex 03, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/tasc</ref>
          </desc>
          <listRelation>
            <relation active="#struct-95421" type="direct"/>
            <relation active="#struct-84538" type="indirect"/>
            <relation active="#struct-97058" type="indirect"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation name="UMR6241" active="#struct-441569" type="indirect"/>
            <relation active="#struct-95953" type="direct"/>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-95421" status="OLD">
          <orgName>Laboratoire d'Informatique de Nantes Atlantique</orgName>
          <orgName type="acronym">LINA</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences.univ-nantes.fr/lina</ref>
          </desc>
          <listRelation>
            <relation active="#struct-84538" type="direct"/>
            <relation active="#struct-97058" type="direct"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation name="UMR6241" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-59922" status="VALID">
          <orgName>Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/~regin/Cep/fr/home.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-452157" type="direct"/>
            <relation active="#struct-13009" type="indirect"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-84538" status="OLD">
          <orgName>Mines Nantes</orgName>
          <orgName type="acronym">Mines Nantes</orgName>
          <date type="start">1991-10-08</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.mines-nantes.fr/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-97058" status="OLD">
          <orgName>Université de Nantes - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">UN UFR ST</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.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>
        <org type="department" xml:id="struct-95953" status="OLD">
          <orgName>Département informatique - EMN</orgName>
          <desc>
            <address>
              <addrLine>4 rue Alfred Kastler, BP 20722 44307 NANTES Cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-84538" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-452157" status="VALID">
          <orgName>Modèles Discrets pour les Systèmes Complexes</orgName>
          <orgName type="acronym">Laboratoire I3S - MDSC</orgName>
          <date type="start">2016-03-03</date>
          <desc>
            <address>
              <addrLine>Laboratoire I3SCS 4012106903 Sophia Antipolis Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/mdsc</ref>
          </desc>
          <listRelation>
            <relation active="#struct-13009" type="direct"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-13009" status="VALID">
          <idno type="IdRef">050320491</idno>
          <idno type="ISNI">0000000105613840</idno>
          <idno type="RNSR">201220432L</idno>
          <idno type="ROR">https://ror.org/01215r597</idno>
          <orgName>Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis</orgName>
          <orgName type="acronym">I3S</orgName>
          <desc>
            <address>
              <addrLine>2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-117617" type="direct"/>
            <relation name="UMR7271" active="#struct-441569" type="direct"/>
            <relation active="#struct-1039632" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-117617" status="VALID">
          <idno type="IdRef">026403498</idno>
          <idno type="ISNI">0000000123372892</idno>
          <idno type="ROR">https://ror.org/02k9vew78</idno>
          <orgName>Université Nice Sophia Antipolis (1965 - 2019)</orgName>
          <orgName type="acronym">UNS</orgName>
          <date type="start">1965-10-23</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 06100 Nice</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://unice.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1039632" status="VALID">
          <idno type="IdRef">241035694</idno>
          <idno type="ROR">https://ror.org/019tgvf94</idno>
          <orgName>Université Côte d'Azur</orgName>
          <orgName type="acronym">UniCA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://univ-cotedazur.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>