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
Chu Min Li
Modélisation, Information et Systèmes - UR UPJV 4290
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.

Domaines

Informatique [cs]

chu-min Li  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04322269

Soumis le : mercredi 6 décembre 2023-15:54:42

Dernière modification le : mardi 30 juillet 2024-12:40:03

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ANR U-PICARDIE MIS UPJV-MIS-GOC
22 Consultations
2 Téléchargements

Altmetric

Partager

More