BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit - Université de Picardie Jules Verne Accéder directement au contenu
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
Felip Manya
  • Fonction : Auteur
Fichier principal
Vignette du fichier
2201.05544.pdf (152.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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⟩

Collections

U-PICARDIE MIS
3 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More