A Tableau Calculus for Signed Maximum Satisfiability - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

A Tableau Calculus for Signed Maximum Satisfiability

Shuolin Li
  • Fonction : Auteur
Jordi Coll
  • Fonction : Auteur
Djamal Habet
  • Fonction : Auteur
Felip Manyà
  • Fonction : Auteur

Résumé

We define a tableau calculus for solving the Maximum Satisfiability Problem for propositional signed formulas (Signed MaxSAT) and prove its soundness and completeness. We also describe how it can be naturally extended when we distinguish between hard and soft signed formulas.
Fichier non déposé

Dates et versions

hal-04322269 , version 1 (06-12-2023)

Identifiants

Citer

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà. A Tableau Calculus for Signed Maximum Satisfiability. 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), May 2023, Matsue, Japan. pp.170-175, ⟨10.1109/ISMVL57333.2023.00041⟩. ⟨hal-04322269⟩
22 Consultations
2 Téléchargements

Altmetric

Partager

More