A Tableau Calculus for Signed Maximum Satisfiability
Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà · 2023
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.