Un bandit manchot pour combiner CHB et VSIDS - Aix-Marseille Université Access content directly
Conference Papers Year : 2021

Un bandit manchot pour combiner CHB et VSIDS

Mohamed Sami Cherif
  • Function : Author
  • PersonId : 1290539
  • IdHAL : sami-cherif
Djamal Habet
  • Function : Author
  • PersonId : 940715
Cyril Terrioux

Abstract

Les solveurs Conflict Driven Clause Learning (CDCL) sont efficaces pour résoudre des instances structurées avec un grand nombre de variables et de clauses. Un composant important de ces solveurs est l'heuristique de branchement qui sélectionne la prochaine variable de décision. Dans cet article, on propose d'utiliser un bandit manchot pour combiner deux heuristiques de l'état de l'art pour SAT, à savoir Variable State Independent Decaying Sum (VSIDS) et Conflict History-Based (CHB). Le bandit évalue et choisit de manière adaptative une heuristique adéquate à chaque redémarrage. Une évaluation expérimentale est menée et montre que la combinaison de VSIDS et CHB avec un bandit est compétitive et surpasse les deux heuristiques.
Fichier principal
Vignette du fichier
jfpc2021d.pdf (572.86 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03270931 , version 1 (25-06-2021)

Identifiers

  • HAL Id : hal-03270931 , version 1

Cite

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux. Un bandit manchot pour combiner CHB et VSIDS. Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France. ⟨hal-03270931⟩
111 View
16 Download

Share

Gmail Facebook X LinkedIn More