<?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-01784941</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-03T03:29:59+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">An efficient SAT formulation for learning multiple criteria non-compensatory sorting rules from examples</title>
            <author role="aut">
              <persName>
                <forename type="first">Khaled</forename>
                <surname>Belahcene</surname>
              </persName>
              <email type="md5">940923907909a42ea3b5ff33febd762b</email>
              <email type="domain">hds.utc.fr</email>
              <idno type="idhal" notation="string">khaled-belahcene</idno>
              <idno type="idhal" notation="numeric">5889</idno>
              <idno type="halauthorid" notation="string">26858-5889</idno>
              <idno type="IDREF">https://www.idref.fr/234346701</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4502-9539</idno>
              <orgName ref="#struct-11769"/>
              <affiliation ref="#struct-11769"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Labreuche</surname>
              </persName>
              <email type="md5">e181112ddf0052bcd81e961988f0ee95</email>
              <email type="domain">thalesgroup.com</email>
              <idno type="idhal" notation="numeric">836604</idno>
              <idno type="halauthorid" notation="string">178379-836604</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8871-4379</idno>
              <idno type="IDREF">https://www.idref.fr/195156080</idno>
              <affiliation ref="#struct-6365"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Maudet</surname>
              </persName>
              <email type="md5">c77a464ca9f9a6c9279c3a40b6fe3c66</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">nicolas-maudet</idno>
              <idno type="idhal" notation="numeric">4473</idno>
              <idno type="halauthorid" notation="string">26051-4473</idno>
              <idno type="ARXIV">https://arxiv.org/a/maudet_n_1</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4232-069X</idno>
              <idno type="IDREF">https://www.idref.fr/061744549</idno>
              <idno type="VIAF">https://viaf.org/viaf/65208532</idno>
              <idno type="ISNI">http://isni.org/isni/0000000044579115</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/GDJ-2592-2022</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/GDJ-2592-2022</idno>
              <orgName ref="#struct-93591"/>
              <affiliation ref="#struct-541716"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Mousseau</surname>
              </persName>
              <email type="md5">8a44fe2585e63bbdd123b9bc0aea19af</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">vincent-mousseau</idno>
              <idno type="idhal" notation="numeric">4625</idno>
              <idno type="halauthorid" notation="string">40200-4625</idno>
              <idno type="IDREF">https://www.idref.fr/113393547</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8574-3337</idno>
              <orgName ref="#struct-411575"/>
              <affiliation ref="#struct-11769"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Wassila</forename>
                <surname>Ouerdane</surname>
              </persName>
              <email type="md5">eb3a5e3656380bc137a4568b1325f0b3</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">wassila-ouerdane</idno>
              <idno type="idhal" notation="numeric">4804</idno>
              <idno type="halauthorid" notation="string">21324-4804</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4515-7461</idno>
              <idno type="IDREF">https://www.idref.fr/149480954</idno>
              <affiliation ref="#struct-11769"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Wassila</forename>
                <surname>Ouerdane</surname>
              </persName>
              <email type="md5">eb3a5e3656380bc137a4568b1325f0b3</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-05-03 23:07:10</date>
              <date type="whenModified">2024-10-31 03:10:43</date>
              <date type="whenReleased">2018-05-03 23:07:10</date>
              <date type="whenProduced">2018</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1710.10098"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="319440">
                <persName>
                  <forename>Wassila</forename>
                  <surname>Ouerdane</surname>
                </persName>
                <email type="md5">eb3a5e3656380bc137a4568b1325f0b3</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01784941</idno>
            <idno type="halUri">https://hal.science/hal-01784941</idno>
            <idno type="halBibtex">belahcene:hal-01784941</idno>
            <idno type="halRefHtml">&lt;i&gt;Computers and Operations Research&lt;/i&gt;, 2018, 97, pp.58-71. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.cor.2018.04.019"&gt;&amp;#x27E8;10.1016/j.cor.2018.04.019&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Computers and Operations Research, 2018, 97, pp.58-71. &amp;#x27E8;10.1016/j.cor.2018.04.019&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LGI">Laboratoire Génie Industriel</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</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="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="CENTRALESUPELEC-SACLAY" corresp="UNIV-PARIS-SACLAY">CENTRALESUPELEC-SACLAY</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="LGI-MO" corresp="LGI">Équipe : Management des opérations</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="GS-ENGINEERING">Graduate School Sciences de l'Ingénierie et des Systèmes</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</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">An efficient SAT formulation for learning multiple criteria non-compensatory sorting rules from examples</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Khaled</forename>
                    <surname>Belahcene</surname>
                  </persName>
                  <email type="md5">940923907909a42ea3b5ff33febd762b</email>
                  <email type="domain">hds.utc.fr</email>
                  <idno type="idhal" notation="string">khaled-belahcene</idno>
                  <idno type="idhal" notation="numeric">5889</idno>
                  <idno type="halauthorid" notation="string">26858-5889</idno>
                  <idno type="IDREF">https://www.idref.fr/234346701</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4502-9539</idno>
                  <orgName ref="#struct-11769"/>
                  <affiliation ref="#struct-11769"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Labreuche</surname>
                  </persName>
                  <email type="md5">e181112ddf0052bcd81e961988f0ee95</email>
                  <email type="domain">thalesgroup.com</email>
                  <idno type="idhal" notation="numeric">836604</idno>
                  <idno type="halauthorid" notation="string">178379-836604</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8871-4379</idno>
                  <idno type="IDREF">https://www.idref.fr/195156080</idno>
                  <affiliation ref="#struct-6365"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Maudet</surname>
                  </persName>
                  <email type="md5">c77a464ca9f9a6c9279c3a40b6fe3c66</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">nicolas-maudet</idno>
                  <idno type="idhal" notation="numeric">4473</idno>
                  <idno type="halauthorid" notation="string">26051-4473</idno>
                  <idno type="ARXIV">https://arxiv.org/a/maudet_n_1</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4232-069X</idno>
                  <idno type="IDREF">https://www.idref.fr/061744549</idno>
                  <idno type="VIAF">https://viaf.org/viaf/65208532</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000044579115</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/GDJ-2592-2022</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/GDJ-2592-2022</idno>
                  <orgName ref="#struct-93591"/>
                  <affiliation ref="#struct-541716"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Mousseau</surname>
                  </persName>
                  <email type="md5">8a44fe2585e63bbdd123b9bc0aea19af</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">vincent-mousseau</idno>
                  <idno type="idhal" notation="numeric">4625</idno>
                  <idno type="halauthorid" notation="string">40200-4625</idno>
                  <idno type="IDREF">https://www.idref.fr/113393547</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8574-3337</idno>
                  <orgName ref="#struct-411575"/>
                  <affiliation ref="#struct-11769"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Wassila</forename>
                    <surname>Ouerdane</surname>
                  </persName>
                  <email type="md5">eb3a5e3656380bc137a4568b1325f0b3</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">wassila-ouerdane</idno>
                  <idno type="idhal" notation="numeric">4804</idno>
                  <idno type="halauthorid" notation="string">21324-4804</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4515-7461</idno>
                  <idno type="IDREF">https://www.idref.fr/149480954</idno>
                  <affiliation ref="#struct-11769"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">12050</idno>
                <idno type="issn">0305-0548</idno>
                <idno type="eissn">1873-765X</idno>
                <title level="j">Computers and Operations Research</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">97</biblScope>
                  <biblScope unit="pp">58-71</biblScope>
                  <date type="datePub">2018</date>
                  <date type="dateEpub">2018-04</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.cor.2018.04.019</idno>
              <ref type="publisher">https://www.sciencedirect.com/journal/computers-and-operations-research/</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>The literature on Multiple Criteria Decision Analysis (MCDA) proposes several methods in order to sort alternatives evaluated on several attributes into ordered classes. Non-Compensatory Sorting models (NCS) assign alternatives to classes based on the way they compare to multicriteria profiles separating the consecutive classes. Previous works have proposed approaches to learn the parameters of an NCS model based on a learning set. Exact approaches based on mixed integer linear programming ensure that the learning set is best restored, but can only handle datasets of limited size. Heuristic approaches can handle large learning sets, but do not provide any guarantee that the inferred model is the one that best matches the input data. In this paper, we propose an alternative formulation to learn an NCS model. This formulation, based on a SAT problem, guarantees to find a model fully consistent with the learning set (whenever it exists), and is computationally much faster than existing exact MIP approaches.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-11769" status="OLD">
          <idno type="IdRef">148257844</idno>
          <idno type="RNSR">199814131Y</idno>
          <orgName>Laboratoire Génie Industriel - EA 2606</orgName>
          <orgName type="acronym">LGI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>CentraleSupélec - Bâtiment Bouygues3 rue Joliot Curie91190 GIF-SUR-YVETTE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lgi.ecp.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-411575" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-6365" status="VALID">
          <orgName>Thales Research and Technologies [Orsay]</orgName>
          <orgName type="acronym">TRT</orgName>
          <desc>
            <address>
              <addrLine>Domaine de Corbeville, 91404 Orsay CEDEX ,France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.thalesgroup.com/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-250969" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-541716" status="VALID">
          <orgName>Systèmes Multi-Agents</orgName>
          <orgName type="acronym">SMA</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-250969" status="VALID">
          <orgName>THALES [France]</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.thalesgroup.com/fr/europe/france</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.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>
      </listOrg>
    </back>
  </text>
</TEI>