Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique

Hua Jiang
Ruchu Xu
  • Fonction : Auteur

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01323743 , version 1 (31-05-2016)

Identifiants

  • HAL Id : hal-01323743 , version 1

Citer

Chu Min Li, Hua Jiang, Ruchu Xu. Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique. LION9, 2015, Lille, France, France. pp.268-274. ⟨hal-01323743⟩
18 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More