BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit - Université de Picardie Jules Verne
Communication Dans Un Congrès Année : 2022

BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit

Jiongzhi Zheng
  • Fonction : Auteur
  • PersonId : 1319664
Kun He
  • Fonction : Auteur
Jianrong Zhou
  • Fonction : Auteur
Yan Jin
  • Fonction : Auteur
Chu-Min Li
Modélisation, Information et Systèmes - UR UPJV 4290
Felip Manya
  • Fonction : Auteur

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
2201.05544.pdf (152.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

chu-min Li  : Connectez-vous pour contacter le contributeur

https://u-picardie.hal.science/hal-04525613

Soumis le : jeudi 28 mars 2024-18:06:20

Dernière modification le : mardi 30 juillet 2024-12:40:03

Télécharger pour visualiser

Dates et versions

hal-04525613 , version 1 (28-03-2024)

Identifiants

  • HAL Id : hal-04525613 , version 1

Citer

Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, et al.. BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit. IJCAI- 2022, 2022, Vienna, Austria. pp.1901-1907. ⟨hal-04525613⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

U-PICARDIE MIS
11 Consultations
13 Téléchargements

Partager

More