Article Dans Une Revue Chinese Journal of Computers Année : 2013

Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set

Yan-Li Liu
  • Fonction : Auteur
Kun He
  • Fonction : Auteur

Résumé

no abstract

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00999319 , version 1

Citer

Yan-Li Liu, Chu Min Li, Kun He. Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set. Chinese Journal of Computers, 2013, 36 (10), pp.2087-2095. ⟨hal-00999319⟩
51 Consultations
0 Téléchargements

Partager

  • More