Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning

Zhiwen Fang
  • Fonction : Auteur
Kan Qiao
  • Fonction : Auteur
Xu Feng
  • Fonction : Auteur

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00999306 , version 1 (03-06-2014)

Identifiants

  • HAL Id : hal-00999306 , version 1

Citer

Zhiwen Fang, Chu Min Li, Kan Qiao, Xu Feng, Ke Xu. Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning. (ECAI'14), 2014, Prague, Czech Republic, Czech Republic. To appear. ⟨hal-00999306⟩
73 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More