<?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-02926523v2</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-22T08:44:58+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Parallel Hybridization for SAT: An Efficient Combination of Search Space Splitting and Portfolio</title>
            <author role="aut">
              <persName>
                <forename type="first">Rodrigue</forename>
                <surname>Konan Tchinda</surname>
              </persName>
              <email type="md5">b653fbe2ad73dc6d742669f048145007</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1068723</idno>
              <idno type="halauthorid" notation="string">1832449-1068723</idno>
              <affiliation ref="#struct-366272"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Clémentin</forename>
                <surname>Tayou Djamegni</surname>
              </persName>
              <email type="md5">e865bfd459dd87d85473fd28bed3fe69</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1076213</idno>
              <idno type="halauthorid" notation="string">809371-1076213</idno>
              <affiliation ref="#struct-366272"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Rodrigue</forename>
                <surname>KONAN TCHINDA</surname>
              </persName>
              <email type="md5">b653fbe2ad73dc6d742669f048145007</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2020-08-31 18:38:44</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2021-02-17 20:34:22</date>
              <date type="whenWritten">2021-02-27</date>
              <date type="whenModified">2025-11-18 15:14:08</date>
              <date type="whenReleased">2021-02-25 15:34:05</date>
              <date type="whenProduced">2021-02-27</date>
              <date type="whenEndEmbargoed">2021-02-17</date>
              <ref type="file" target="https://hal.science/hal-02926523v2/document">
                <date notBefore="2021-02-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02926523v2/file/ARIMA_FINAL_Parallel_Hybridization%20%281%29.pdf" id="file-3144792-2756754">
                <date notBefore="2021-02-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="884935">
                <persName>
                  <forename>Rodrigue</forename>
                  <surname>KONAN TCHINDA</surname>
                </persName>
                <email type="md5">b653fbe2ad73dc6d742669f048145007</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02926523</idno>
            <idno type="halUri">https://hal.science/hal-02926523</idno>
            <idno type="halBibtex">konantchinda:hal-02926523</idno>
            <idno type="halRefHtml">&lt;i&gt;Revue Africaine de Recherche en Informatique et Mathématiques Appliquées&lt;/i&gt;, 2021, Volume 34 - 2020 - Special Issue CARI 2020, &lt;a target="_blank" href="https://dx.doi.org/10.46298/arima.6750"&gt;&amp;#x27E8;10.46298/arima.6750&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2021, Volume 34 - 2020 - Special Issue CARI 2020, &amp;#x27E8;10.46298/arima.6750&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3144792-2756754"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="AFRIQ">HAL-Francophonie, Afrique et océan indien</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">Parallel Hybridization for SAT: An Efficient Combination of Search Space Splitting and Portfolio</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Rodrigue</forename>
                    <surname>Konan Tchinda</surname>
                  </persName>
                  <email type="md5">b653fbe2ad73dc6d742669f048145007</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1068723</idno>
                  <idno type="halauthorid" notation="string">1832449-1068723</idno>
                  <affiliation ref="#struct-366272"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Clémentin</forename>
                    <surname>Tayou Djamegni</surname>
                  </persName>
                  <email type="md5">e865bfd459dd87d85473fd28bed3fe69</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1076213</idno>
                  <idno type="halauthorid" notation="string">809371-1076213</idno>
                  <affiliation ref="#struct-366272"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">62852</idno>
                <idno type="eissn">1638-5713</idno>
                <title level="j">Revue Africaine de Recherche en Informatique et Mathématiques Appliquées</title>
                <imprint>
                  <publisher>African Society in Digital Science</publisher>
                  <biblScope unit="volume">Volume 34 - 2020 - Special Issue CARI 2020</biblScope>
                  <date type="datePub">2021-02-27</date>
                  <date type="dateEpub">2021-02-27</date>
                </imprint>
              </monogr>
              <idno type="doi">10.46298/arima.6750</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">parallel hybridization</term>
                <term xml:lang="en">search space splitting</term>
                <term xml:lang="en">portfolio</term>
                <term xml:lang="en">SAT</term>
                <term xml:lang="fr">hybridation parallèle</term>
                <term xml:lang="fr">DPR</term>
                <term xml:lang="fr">portfolio</term>
                <term xml:lang="fr">SAT</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</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>Search space splitting and portfolio are the two main approaches used in parallel SAT solving. Each of them has its strengths but also, its weaknesses. Decomposition in search space splitting can help improve speedup on satisfiable instances while competition in portfolio increases robustness. Many parallel hybrid approaches have been proposed in the literature but most of them still cope with load balancing issues that are the cause of a non-negligible overhead. In this paper, we describe a new parallel hybridization scheme based on both search space splitting and portfolio that does not require the use of load balancing mechanisms (such as dynamic work stealing).</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Les deux principales approches utilisées dans la résolution parallèle du problème de satisfiabilité propositionnelle sont DPR (Diviser Pour Régner) et portfolio. Chacune d’elles comporte des forces et des faiblesses. La décomposition dans DPR permet d’améliorer le speedup sur les instancessatisfiables tandis que la compétition dans les portfolios accroit la robustesse. Plusieurs approches hybrides pour la résolution parallèle de SAT ont été présentées dans la littérature mais la plupart d’entre elles souffrent encore des problèmes dus aux mécanismes de rééquilibrage dynamique decharges qui sont à l’origine d’un surcoût non négligeable. Nous décrivons dans ce papier un nouveau schéma d’hybridation parallèle basé sur les deux approches DPR et portfolio ne nécessitant pas la mise en œuvre des mécanismes de rééquilibrage de charges (tels que le vol de tâche).</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-366272" status="VALID">
          <idno type="IdRef">16902086X</idno>
          <idno type="ISNI">0000000106572358</idno>
          <idno type="ROR">https://ror.org/0566t4z20</idno>
          <idno type="Wikidata">Q3551583</idno>
          <orgName>Université de Dschang [Cameroun] = University of Dschang [Cameroon]</orgName>
          <orgName type="acronym">UDs</orgName>
          <date type="start">1993-01-19</date>
          <desc>
            <address>
              <addrLine>B.P. 96 Dschang, Cameroun Colline de Foto</addrLine>
              <country key="CM"/>
            </address>
            <ref type="url">http://www.univ-dschang.org/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>