<?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 tel-03681868</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-16T15:15:15+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Sur le tri de tâches pour résoudre des problèmes d'ordonnancement avec la programmation par contraintes</title>
            <title xml:lang="fr">On the use of tasks ordering to solve scheduling problems with constraint programming</title>
            <author role="aut">
              <persName>
                <forename type="first">Arthur</forename>
                <surname>Godet</surname>
              </persName>
              <idno type="halauthorid">1458405-0</idno>
              <affiliation ref="#struct-489559"/>
              <affiliation ref="#struct-481373"/>
              <affiliation ref="#struct-41279"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>ABES</forename>
                <surname>STAR</surname>
              </persName>
              <email type="md5">f5aa7f563b02bb6adbba7496989af39a</email>
              <email type="domain">abes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-05-30 15:43:29</date>
              <date type="whenModified">2026-04-06 17:36:18</date>
              <date type="whenReleased">2022-05-30 15:43:30</date>
              <date type="whenProduced">2021-09-23</date>
              <date type="whenEndEmbargoed">2022-05-30</date>
              <ref type="file" target="https://theses.hal.science/tel-03681868v1/document">
                <date notBefore="2022-05-30"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://theses.hal.science/tel-03681868v1/file/2021IMTA0257_Godet-Arthur.pdf" id="file-3681868-3214057">
                <date notBefore="2022-05-30"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="131274">
                <persName>
                  <forename>ABES</forename>
                  <surname>STAR</surname>
                </persName>
                <email type="md5">f5aa7f563b02bb6adbba7496989af39a</email>
                <email type="domain">abes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-03681868</idno>
            <idno type="halUri">https://theses.hal.science/tel-03681868</idno>
            <idno type="halBibtex">godet:tel-03681868</idno>
            <idno type="halRefHtml">Discrete Mathematics [cs.DM]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. &lt;a target="_blank" href="https://www.theses.fr/2021IMTA0257"&gt;&amp;#x27E8;NNT : 2021IMTA0257&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Discrete Mathematics [cs.DM]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. &amp;#x27E8;NNT : 2021IMTA0257&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3681868-3214057"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="MINES-ALBI">Ecole nationale supérieure des Mines d'Albi-Carmaux</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="STAR">STAR - Dépôt national des thèses électroniques</idno>
            <idno type="stamp" n="EMAC">Ecole des Mines d'Albi-Carmaux</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="CGI" corresp="MINES-ALBI">Centre Génie Industriel</idno>
            <idno type="stamp" n="THESE-MINES-ALBI">THESE Mines Albi</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="LS2N-TASC" corresp="LS2N">LS2N - équipe TASC ( Théorie, Algorithmes et Systèmes en Contraintes )</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="IMT-ATLANTIQUE" corresp="INSTITUT-MINES-TELECOM">IMT-ATLANTIQUE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="AFPC">Thèses et HDR autour de la Programmation Par Contraintes</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="NU-CENTRALE">École Centrale de Nantes</idno>
            <idno type="stamp" n="THESE-CGI">THESE CGI</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Sur le tri de tâches pour résoudre des problèmes d'ordonnancement avec la programmation par contraintes</title>
                <title xml:lang="fr">On the use of tasks ordering to solve scheduling problems with constraint programming</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Arthur</forename>
                    <surname>Godet</surname>
                  </persName>
                  <idno type="halauthorid">1458405-0</idno>
                  <affiliation ref="#struct-489559"/>
                  <affiliation ref="#struct-481373"/>
                  <affiliation ref="#struct-41279"/>
                </author>
              </analytic>
              <monogr>
                <idno type="nnt">2021IMTA0257</idno>
                <idno type="localRef">KTK-4799</idno>
                <imprint>
                  <date type="dateDefended">2021-09-23</date>
                </imprint>
                <authority type="institution">Ecole nationale supérieure Mines-Télécom Atlantique</authority>
                <authority type="school">École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)</authority>
                <authority type="supervisor">Nicolas Beldiceanu</authority>
                <authority type="supervisor">Xavier Lorca</authority>
                <authority type="jury">Samir Loudni [Président]</authority>
                <authority type="jury">Christian Artigues [Rapporteur]</authority>
                <authority type="jury">Claude-Guy Quimper [Rapporteur]</authority>
                <authority type="jury">Hadrien Cambazard</authority>
                <authority type="jury">Christine Solnon</authority>
                <authority type="jury">Gilles Simonin</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Constraint programming</term>
                <term xml:lang="en">List ordering</term>
                <term xml:lang="en">Alldiffprec</term>
                <term xml:lang="en">Ordering</term>
                <term xml:lang="en">Scheduling</term>
                <term xml:lang="fr">Programmation par contraintes</term>
                <term xml:lang="fr">Ordonnancement</term>
                <term xml:lang="fr">Alldiffprec</term>
                <term xml:lang="fr">Liste ordonnée</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dm">Computer Science [cs]/Discrete Mathematics [cs.DM]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>During the last two decades, Constraint Programming gets very good results to solve scheduling problems. Thanks to the great expressivity of the paradigm, different algorithms and solving techniques from other fields within Combinatorial Optimisation have been integrated into constraint solvers. However this great expressivity comes with a price: constraint solvers are not the black box one might think of and require expertise to be correctly configured to efficiently solve problems. In this thesis, we explore the introduction and the use of list ordering algorithms into Constraint Programming to solve scheduling problems. We also revisit the AllDiffPrec constraint, defined as an Alldifferent constraint with precedence between some variables, for which we propose a new filtering algorithm.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Au cours des deux dernières décennies, la programmation par contraintes s'est illustrée de par son efficacité à résoudre des problèmes d'ordonnancement. Grâce à la grande expressivité permise par le paradigme, différents algorithmes et techniques de résolution provenant d'autres domaines de l'Optimisation Combinatoire ont pu être intégrés au sein des solveurs de contraintes. Toutefois, cette grande expressivité fait que les solveurs ne sont pas des boîtes noires et demandent une expertise pour être paramétrés correctement pour résoudre efficacement les problèmes souhaités. Dans cette thèse, nous explorons l'introduction et l'utilisation d'algorithmes de liste ordonnée en programmation par contraintes pour résoudre des problèmes d'ordonnancement. Nous revisitons également la contrainte AllDiffPrec, définie comme une contrainte Alldifferent et des précédences entre variables, pour laquelle nous proposons également un nouvel algorithme de filtrage.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-489559" status="VALID">
          <orgName>Département Automatique, Productique et Informatique</orgName>
          <orgName type="acronym">IMT Atlantique - DAPI</orgName>
          <date type="start">2017-03-21</date>
          <desc>
            <address>
              <addrLine>IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-481373" status="OLD">
          <orgName>Théorie, Algorithmes et Systèmes en Contraintes</orgName>
          <orgName type="acronym">LS2N - équipe TASC</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/tasc</ref>
          </desc>
          <listRelation>
            <relation active="#struct-473973" type="direct"/>
            <relation active="#struct-97058" type="indirect"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-41279" status="VALID">
          <idno type="IdRef">161610854</idno>
          <orgName>Centre Génie Industriel</orgName>
          <orgName type="acronym">CGI</orgName>
          <date type="start">1995</date>
          <desc>
            <address>
              <addrLine>Campus Jarlard - 81013 Albi CT Cédex 09</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.mines-albi.fr/centre-recherche-genie-industriel</ref>
          </desc>
          <listRelation>
            <relation active="#struct-469216" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-473973" status="OLD">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Nantes – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-97058" type="direct"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </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="institution" xml:id="struct-111023" status="OLD">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>École Centrale de Nantes</orgName>
          <orgName type="acronym">ECN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-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="institution" xml:id="struct-469216" status="VALID">
          <idno type="IdRef">035022116</idno>
          <idno type="ROR">https://ror.org/00bq8vv83</idno>
          <orgName>IMT École nationale supérieure des Mines d'Albi-Carmaux</orgName>
          <orgName type="acronym">IMT Mines Albi</orgName>
          <date type="start">1993-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Jarlard - Route de Teillet81013 ALBI Cedex 09</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-mines-albi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation 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>
      </listOrg>
    </back>
  </text>
</TEI>