A Clause Tableau Calculus for MaxSAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

A Clause Tableau Calculus for MaxSAT

(1) , (1) ,
1
J.R. Soler
  • Fonction : Auteur

Résumé

We define a clause tableau calculus for MaxSAT, prove its soundness and completeness, and describe a tableau-based algorithm for MaxSAT. Given a multiset of clauses that can be falsified in and an optimal assignment. We also describe how the algorithm can be extended to solve weighted MaxSAT and weighted partial MaxSAT.
Fichier non déposé

Dates et versions

hal-03702170 , version 1 (22-06-2022)

Identifiants

  • HAL Id : hal-03702170 , version 1

Citer

Chu-Min Li, Felip Manya, J.R. Soler. A Clause Tableau Calculus for MaxSAT. IJCAI International Joint Conference on Artificial Intelligence, Jul 2016, New-York, United States. pp.766--772. ⟨hal-03702170⟩

Collections

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

Partager

Gmail Facebook Twitter LinkedIn More