Sur l'UP-résilience des k-UCSs binaires - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Sur l'UP-résilience des k-UCSs binaires

Résumé

Abstract Branch and Bound (BnB) solvers for Max-SAT exploit max-resolution, the inference rule for Max-SAT, to ensure that every computed Inconsistent Subset (IS) is counted only once. However, learning max-resolution transformations can be detrimental to their performance so they are usually selectively learned if they respect certain patterns. In this paper, we focus on particular patterns called binary k-UCSs. We prove that these patterns verify a recent characterization of max-resolution transformations called UP-resilience and we show how this result can help extend the current patterns. Finally, this work is part of a global approach to characterize the relevance of transformations by max-resolution.
Les solveurs basés sur la méthode séparation et évaluation (BnB) pour Max-SAT exploitent la max-résolution, la règle d'inférence pour Max-SAT, pour s'as-surer que chaque sous-ensemble inconsistant (IS) détecté n'est compté qu'une seule fois. Cependant, les transformations par max-résolution peuvent affecter négative-ment leurs performances. Elles sont alors généralement apprises de manière sélective : quand elles respectent cer-tains motifs. Dans ce papier, on s'intéresse à des motifs particuliers appelés k-UCSs binaires. On prouve que ces motifs vérifient une caractérisation récente des transformations par max-résolution appelée UP-résilience et on décrit comment ce résultat peut aider à étendre les motifs actuels. Enfin, ce travail s'inscrit d'une démarche globale de caractérisation de la pertinence des transformations par max-résolution.
Fichier principal
Vignette du fichier
ArticleJFPC2019.pdf (412.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02295161 , version 1 (24-09-2019)

Identifiants

  • HAL Id : hal-02295161 , version 1

Citer

Mohamed Sami Cherif, Djamal Habet. Sur l'UP-résilience des k-UCSs binaires. Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), pp. 177-180, Jun 2019, Albi, France. ⟨hal-02295161⟩
80 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More