Parameterized Complexity of Weighted Satisfiability Problems: Decision, Enumeration, Counting - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2015

Parameterized Complexity of Weighted Satisfiability Problems: Decision, Enumeration, Counting

Heribert Vollmer
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-01192908 , version 1 (03-09-2015)

Identifiants

  • HAL Id : hal-01192908 , version 1

Citer

Nadia Creignou, Heribert Vollmer. Parameterized Complexity of Weighted Satisfiability Problems: Decision, Enumeration, Counting. Fundamenta Informaticae, 2015, 136 (4), pp.297-316. ⟨hal-01192908⟩
41 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More