A Tableau Calculus for Signed Maximum Satisfiability

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI:10.1109/ISMVL57333.2023.00041

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, F. Manyà

引用次数: 0

Abstract

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.

查看原文本刊更多论文

符号最大可满足性的一个表演算

我们定义了一个求解命题有符号公式最大可满足性问题(signed MaxSAT)的表演算，并证明了它的正确性和完备性。当我们区分硬符号和软符号公式时，我们还描述了它是如何自然扩展的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)

自引率

0.00%

发文量